私の端末は最近クラッシュしました。クラッシュ後、ロードされる唯一の端末プロファイルはunnamed
です。にデフォルトのプロファイルがあります
/home/xxxx/.gconf/apps/gnome-terminal/profiles/Default
gconf-editor
でも認識されますが、gnome-terminalまたはアプリのメニューオプションでは認識されません。端末にデフォルトプロファイルを認識させるにはどうすればよいですか?
プロファイルを含むGnome端末設定は、dconf
ではなくgconf
に保存されるようになりました。 gconf
は人間が読めるXMLファイルを使用して直接編集できるデータを保存していましたが、dconf
設定はインターフェースを介して編集する必要があります。
GUIで編集するには、最初にdconf-tools
(Sudo 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