$HOMEのどのファイルがgnomeのユーザー設定を定義しますか?

$HOMEのどのファイルがgnomeのユーザー設定を定義しますか?

gitを介して$ HOME-Directoryのドットファイルをバックアップ/同期しています。すべてを同期したくないので、.gitignoreを介してすべてを無視し、重要なファイルを再追加します。

*

!.bash*
.*.swp
.bash_history
.bash_local
.bash_logout
!.profile

ユーザー固有のデフォルト設定やテーマ設定など、システム設定に属するファイルをUbuntu Gnome環境でバックアップする必要がありますか?

答え1

GNOME設定は通常GSettings APIを介して保存され、これらのファイルのいくつかはバイナリ/データベースなので、最良のオプションはdconfツールを使用することです。

エクスポート設定:

dconf dump / > dconf-settings.ini

インポート設定:

dconf load / < dconf-settings.ini

$XDG_CONFIG_HOME/dconf内容を保存できますが(ほとんどの場合これを示します)、ファイルがプレーンテキストではないため、~/.config/dconf適切ではありません。git

このGnome設定のエクスポートには、以下に関連するすべての設定も含まれます。コンパニオンデスクトップそしてシナモンデスクトップ/これはルートスキーマ()内のオブジェクトであるためです。次のデスクトップ設定のみをエクスポートする:

シナモン:

 dconf dump /org/cinnamon/ > dconf-cinnamon.ini

仲間:

dconf dump /org/mate > dconf-mate.ini

カスタムテーマをバックアップしてください。

カスタムテーマ/アイコンをバックアップするには、圧縮フォルダで十分~/.iconsです~/.themes。おそらくあなたのホームディレクトリにすでに持っているオリジナルのテーマファイルを維持する必要があるかもしれません。

関連情報