私は多くの作業にGnome-Terminalを使用しており、「実行しているタスクに基づいてウィンドウを色で区切るのが好きなので」環境設定GUIを使用していくつかのプロファイルを設定しました。

オンラインで気に入ったカラーテーマをいくつか見つけました。将来作成するものも含め、いくつかのプロファイルのベースとして使用したいと思います。ただし、設定GUIにはいくつかのカラーテーマオプションしかないため、これらのカスタムテーマのいずれかを使用する場合は、すべてのカラーを手動で変更する必要があります。

設定GUIにカスタムテーマを追加する方法はありますか?それが不可能な場合、プロファイルのカスタムカラーテーマを簡単に設定できる別の方法はありますか?gconf-editorなど、他の場所で手動で色を変更できることはわかっていますが、簡単な方法をお勧めします。色のテーマを名前で伝え、残りを処理するようにします(GUIでできることなど)。

回答

カラーパレットはすべてハードコーディングされているため、ソースコードにパッチを適用してアプリケーションを再コンパイルしない限り、gnome-terminalの組み込みの設定メニューにカスタムテーマを追加することはできません。

設定の1つの方法プロファイルのカスタムカラーテーマはスクリプトを介して行われます。 ソラリゼーションがどのように機能するかをご覧ください:

gnome-terminal-colors-ソラリゼーション

ただし、gconfはEOLであり、gnome-terminal の将来のリリースでは gsettings バックエンドが使用されることに注意してください。

コメント

  • Solarizedでは、新しいプロファイルを作成し、テーマを custom "テーマがあります。

コメントを残す

メールアドレスが公開されることはありません。 * が付いている欄は必須項目です