☰

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）。

おすすめ記事