複数のタブを開いた状態でgnome-terminalを実行している場合、他のタブのプロファイルを変更せずに、bashプロンプトで特定のタブのプロファイルを即座に切り替えることは可能ですか?
gconftoolまたはgconftool-2を使用してプロファイルの要素(背景など)を変更する方法は理解していますが、特定のタブまたはウィンドウのプロファイルを実際に切り替える方法がわかりません。
アドバイスをいただければ幸いです。
特にご質問の回答ではありませんが、他の方の参考になるかもしれませんので、とりあえず置いておきます。
現在のプロファイルを変更する方法があれば、タブごとに異なるプロファイルを持つことができます。
次を使用して、すべての既存のプロファイルを一覧表示できます。
gconftool-2 --all-dirs /apps/gnome-terminal/profiles
以下を使用して現在のプロファイルを取得できます。
gconftool-2 --get /apps/gnome-terminal/global/default_profile
また、次を使用して新しいデフォルト プロファイル (solarized-light
この場合) を設定できます。
gconftool-2 --set --type string /apps/gnome-terminal/global/default_profile solarized-light
gnome のすべての設定を維持する gconf-editor を介してこれを行うことができると思います。gconf-editor のマニュアルとgnome-terminal のセクションを参照してください。
ターミナルからgconftool-2で変更できます
私は似たようなことに取り組んでいます。gnome-terminal --help
これを使用すると、特定のプロファイルでターミナルを開くために使用できるいくつかのコマンドが表示されるので、プロンプトで行を記述してタブで開く方法を理解する必要があります。必要なプロファイル....難しい部分を理解したら、bashrcに行を追加できます
実行nano ~/.bashrc
して、ターミナルを開くたびに実行される bash 構成ファイルを開きます。次に、行を一番下に追加して保存し、閉じます。