私はスレッドに従って、gedit の白いターミナルの問題を修正しました。 Gedit 埋め込みターミナルプラグインの色を変更するにはどうすればいいですか?
dconf でパレット設定を変更または削除できないため、困っています。
次のようなエラーが発生します:
"Erreur lors de la définition de la valeur : 0:expected value"
手動で行う方法はありますか。何か助けはありますか?
gedit:
Installé : 3.10.4-0ubuntu13
Candidat : 3.10.4-0ubuntu13
Table de version :
*** 3.10.4-0ubuntu13 0
500 http://fr.archive.ubuntu.com/ubuntu/ wily/main amd64 Packages
100 /var/lib/dpkg/status
THX
答え1
行動を変える
gsettings set org.gnome.gedit.plugins.terminal use-theme-colors true
または
gsettings set org.gnome.gedit.plugins.terminal use-theme-colors false
true の場合、ユーザーが指定した色ではなく、テキスト入力ボックスに使用されるテーマのカラー スキームが端末に使用されます。
または、動作をリセットします
gsettings reset org.gnome.gedit.plugins.terminal use-theme-colors
別の例として、カラーパレット全体を設定するには
gsettings set org.gnome.gedit.plugins.terminal palette "['#2E2E34343636', '#CCCC00000000', '#4E4E9A9A0606', '#C4C4A0A00000', '#34346565A4A4', '#757550507B7B', '#060698209A9A', '#D3D3D7D7CFCF', '#555557575353', '#EFEF29292929', '#8A8AE2E23434', '#FCFCE9E94F4F', '#72729F9FCFCF', '#ADAD7F7FA8A8', '#3434E2E2E2E2', '#EEEEEEEEECEC']"
または
background-color
gsettings set org.gnome.gedit.plugins.terminal background-color "black"
利用可能なすべてのキーを一覧表示する
gsettings list-keys org.gnome.gedit.plugins.terminal