web-dev-qa-db-ja.com

gnome-terminalプロファイルがロードされていません

私の端末は最近クラッシュしました。クラッシュ後、ロードされる唯一の端末プロファイルはunnamedです。にデフォルトのプロファイルがあります

/home/xxxx/.gconf/apps/gnome-terminal/profiles/Default

gconf-editorでも認識されますが、gnome-terminalまたはアプリのメニューオプションでは認識されません。端末にデフォルトプロファイルを認識させるにはどうすればよいですか?

7
AMB0027

プロファイルを含むGnome端末設定は、dconfではなくgconfに保存されるようになりました。 gconfは人間が読めるXMLファイルを使用して直接編集できるデータを保存していましたが、dconf設定はインターフェースを介して編集する必要があります。

GUIで編集するには、最初にdconf-toolsSudo apt-get install dconf-tools)をインストールしてから、コマンドdconf-editorを実行し、

org > gnome > terminal > legacy > profiles:

すべてのプロファイルがそこにありますが、設定キーは UUID であり、プロファイル名は下のvisible-nameキーにあることに注意してください。

次のコマンドを使用して、プロファイルをリストできます。

dconf dump /org/gnome/terminal/legacy/profiles:/ | grep -e "\[\:\|visible-name"

また、次を使用してコマンドラインからプロファイルをダンプまたはロードできます。

dconf dump /org/gnome/terminal/legacy/profiles:/:xxxxxxxx-xxxx-xxxx-xxxx-xxxxxxxxxxxx/ > profile.dconf
dconf load /org/gnome/terminal/legacy/profiles:/:xxxxxxxx-xxxx-xxxx-xxxx-xxxxxxxxxxxx/ < profile.dconf
11
Ian Mackinnon