☰

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: ドワーフリファレンスエラー724110そして小人エラー740188。

答え3

gnome-terminalの新しいバージョンは、最も有用なプロフェッショナル機能を削除します。 :-(

私は以前のバージョンのgnome-terminalを設定して実行し、代替を比較しました。

terminatorあなたにとってあまりにエキゾチックであれば、これは素晴らしいmate-terminal選択です！ gnome端末のフォークであり、すべての良い機能を維持します。

  • コマンドラインで複数のタブを開き、異なるタイトルを指定できます。

    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"

私はそれに関する詳細情報をリストしました。協会。

関連情報