私はそれら（Red Hat、Ubuntu、CentOSなど）を使用しました。これらのディストリビューションは、Gnome端末を活用し、通常はコマンドが入力される場所のすぐ上にある端末ウィンドウのドロップダウンメニューからさまざまな端末プロファイルを設定するための柔軟な方法を提供します。これらのプロファイルを使用すると、何よりもさまざまなファイルのフォントと色のプロパティを変更できます。
端末のこれらのさまざまな設定ファイルはどこに保存されていますか？
答え1
私のUbuntu 16.04では
- dconfエディタを開く（ユーザーとして）
- org > gnome > ターミナル > レガシー > プロフィール > ...
答え2
Gnomeまあ、あなたは少なくとも2つの異なるバージョンを使用する3つのディストリビューションを引用しました。ここGnome 2から次へ進むとGnome 3状況が少し混ざり合うので、これは重要です。GTK 2GTK 3
彼の話題を見るには、通常、ユーザーのすべての設定が$HOMEどこかにあります。まず、ディレクトリ自体を見て、両方ともディレクトリ構成をお勧めしますので、$HOME試してみてください。.config.gconf
つまり、単純な Google 検索で利用できることがわかりましたが、マイルは異なる~/.gconf/apps/gnome-terminal/profiles場合があります。