GNU/Linux >> Linux の 問題 >  >> Linux

Gnome ターミナルのテーマをプログラムで変更する

これはあなたが求めたものではありませんが、おそらくあなたが望んでいるものです.

.bashrc を変更できます (または同等のシェル初期化ファイル) を使用して、ssh を使用しているかどうかに基づいてプロンプトを設定します。

つまり、次のように入力します:

if [ -n $SSH_TTY ]; then
     export PS1=`echo -en '\033[42m\w\$ '`;
fi;

.bashrc の最後に リモート マシン上のファイル。 \033[42m 背景色を緑に変更する ANSI エスケープ コードです。

この方法では、端末の背景色は緑 (またはマゼンタ、シアンなど) のみ になります。 リモート マシンにログインしているとき。


オプションを gnome-terminal にチェックアウトすることをお勧めします:

gnome-terminal --help

与える

 --window-with-profile=PROFILENAME

これをシェルスクリプトでラップします:

#!/bin/bash
gnome-terminal --window-with-profile=PROFILENAME

ssh-term

さらに変更したい場合は、aterm やその他の用語を調べてください。また、ウィンドウ タイトル (ウィンドウ装飾の削除など) に基づいてより動的な変更を行うことができる Devilspie も調べてください。

http://burtonini.com/blog/computers/devilspie


Linux
  1. Ubuntu 21.10 Impish Indriテーマを変更する-ステップバイステップガイド?

  2. ターミナルタイトルを変更しますか?

  3. 使いやすい画像編集フロス?

  1. Gnomeターミナルの背景色をオンフライで変更しますか?

  2. gnome-terminal:コマンドが見つかりません

  3. GNOME で GTK、アイコン、または GNOME シェルのテーマを変更する方法

  1. Linux端末の色を変更する方法

  2. Gnomeターミナルは非ログインシェルの一種ですか?

  3. プログラムによるパスワードの変更