☰

gnome-terminal でターミナルタブのタイトルを変更するにはどうすればいいですか?

tag-icon • tag-icon gnome-terminal
gnome-terminal でターミナルタブのタイトルを変更するにはどうすればいいですか?

以前はタブを右クリックしてタイトルを変更できました。もうやり方がよくわかりません。Fedora 21 にアップグレードしました。

編集: gnome-terminalからROXtermに切り替えました

答え1

関数を作成します~/.bashrc:

function set-title() {
  if [[ -z "$ORIG" ]]; then
    ORIG=$PS1
  fi
  TITLE="\[\e]2;$*\a\]"
  PS1=${ORIG}${TITLE}
}

次に、新しいコマンドを使用してターミナルのタイトルを設定します。名前にスペースがあっても機能します。

set-title my new tab title

その後再度利用することも可能ですset-title（オリジナルのPS1は として保存されますORIG）。

答え2

コードは1からuser title削除されました。タイトルを設定するには、エスケープ シーケンスを使用できます。gnome-terminal 3.14

printf "\e]2;YOUR TITLE GOES HERE\a"

または例えばbash:

echo -ne "\033]0;YOUR TITLE GOES HERE\007"

の引数-neはecho改行文字を追加せず、エスケープシーケンス (など\033) を解釈します。

1: gnomeを参照バグ 724110とノームバグ 740188。

答え3

gnome-terminal の新しいバージョンでは、最も役立つプロフェッショナル機能が削除されました。 :-(

私は、gnome-terminal の古いバージョンをセットアップして実行しようとし、代替案も比較しました。

terminatorがあまりにエキゾチックすぎる場合は、 がmate-terminal最適な選択肢です。 これは gnome-terminal のフォークであり、優れた機能をすべて保持しています。

  • コマンドラインから複数のタブを開き、異なるタイトルを付けることができます。

    mate-terminal --tab -t "aaa" --tab -t "bbb" --tab -t "ccc"

  • キーボードショートカットを設定できます（私はCtrl+Shiftキーを使用します）私）に設定する私トル

答え4

Ubuntu 16.04 を使用している場合は、次の操作が必要になる場合があります。

PS1=$
PROMPT_COMMAND=
echo -en "\033]0;New title\a"

これについての詳しい情報は以下に掲載しています。リンク。

関連情報