![背景](https://rvso.com/image/76403/%E8%83%8C%E6%99%AF.png)
背景
以前のGNOMEターミナルリリースのカラースキームの更新は簡単でした。 たった 5 行のコードで十分でした。
gconftool-2 -s -t bool /apps/gnome-terminal/profiles/Default/use_theme_background false
gconftool-2 -s -t bool /apps/gnome-terminal/profiles/Default/use_theme_colors false
gconftool-2 -s -t string /apps/gnome-terminal/profiles/Default/background_color '#121212121212'
gconftool-2 -s -t string /apps/gnome-terminal/profiles/Default/foreground_color '#f1f1ebebebeb'
gconftool-2 -s -t string /apps/gnome-terminal/profiles/Default/palette '#484848483e3e:#dcdc25256666:#8f8fc0c02929:#d4d4c9c96e6e:#5555bcbccece:#93935858fefe:#5656b7b7a5a5:#acacadada1a1:#8f8f89897272:#ffff26267676:#b9b9fcfc3232:#fffff7f78080:#6b6be9e9ffff:#aeae8282ffff:#6b6bffffe4e4:#eaeaebebdada'
さて、GNOME ターミナル 3.14.2を使用する場合dconf
、100行を超えるスクリプトを実行する必要があります(ここコピー)は新しいものを作成するプロフィールそして、私が理解するのが難しい多くのことを行います。
主な質問
私は今、新しい5行スクリプトに類似したものがあるかどうか疑問に思っています。GNOMEターミナルそうでない場合は、その理由も教えてください。
二次質問
すべてを自動的に処理するスクリプトを実行し、実行した操作を「元に戻す」ことを希望していますが、それが何なのかわかりません。Default
でプロファイルを選択できると思いましたEdit / Preferences / Profiles
が、スクリプトによって作成されたプロファイルしか見つかりませんでした。
そこで、新しいプロファイルを作成しました。これは、元々プロファイルがなかったということでしょうか、それともスクリプトによって既存のDefault
プロファイルが上書きされたということでしょうか?
サイドノート
この答えdconf
は、 と古い の両方についてのステップバイステップのガイドですgconftool-2
。
実験
私はこれを理解しようとしている大きな文字環境がまだ初期状態のままであるように、模擬ユーザーで実行します。
私は、
/org/gnome/terminal/legacy/profiles:/
そして私が走れるのは
colours@debian:~$ dconf list /org/gnome/terminal/legacy/
schema-version
Default
以前調整できたプロファイルはどうなったのでしょうか?
OK、もう少し進みました... のチェックを外すと、と がUse colours from the system theme
表示されます。そこから、 で背景色を変更できますが、使用可能なすべての構成パラメータのリストを取得する方法はまだ明確ではありません。profile:/
<profile id>
dconf write
つまり、新しいバージョンのGNOMEターミナルプロファイルDefault
がありません。したがって、デフォルトの外観を変更できるようにするには、まずプロファイルを作成する必要があります。この動作は新しいものであり、私の思考の流れに混乱が生じました。
私の最初の質問に対する答えは、仮に次のようになるかもしれません。
Default
プロフィールを作成する- 設定を適用し
dconf
、 - 手動でプロフィールに切り替えます
Default
。
自動プロファイル選択でポイント 3 を修正できるかどうか確認してみましょう。