gnome-terminalの端末タブタイトルの名前を変更する方法は？

タブを右クリックしてタイトルを変更できるようにするために使用されていました。もうこれを行う方法がわからない。Fedora 21にアップグレードしました。

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

で関数を作成します~/.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）。

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

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

または例えばbash：

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

^{1：gnome bug 724110およびgnome bug 740188を参照してください。}

gnome-terminalの新しいバージョンは、最も有用な専門的な機能を捨ててしまいました。:-(

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

場合はterminatorあなたのためにあまりにもエキゾチックで、mate-terminal偉大なオプションです！これはgnome-terminalのフォークであり、すべての優れた機能を保持しています。

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

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

• キーボードショートカット（Ctrl + Shift- iを使用）をセットアップして、i tle に設定できます。

topやsshなどの常駐プログラムを実行すると、タブに適切なラベルが付けられます。

gnome-terminal --tab -e top -t "aaa" --tab -e top -t "bbb" 

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

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

これについては、リンクで詳細をリストします。

これを.bashrcに入れます：

function title() { 
  p1='echo -ne "\033]0;' 
  p2='\007"'
  PROMPT_COMMAND=$p1$@$p2 
  p1= 
  p2=
}

@Weston Gangerの答えを拡張したものとして、新しいGnomeターミナルを開いたときに自動的にタイトルを設定したい場合は、これをの下部に追加します~/.bashrc。

if [ ! -z "$SET_TITLE" ]; then
    set-title $SET_TITLE;
    export SET_TITLE=;
fi

次に、次のようなターミナルを起動します。

gnome-terminal --tab -e 'bash -c "export SET_TITLE=\"my title\"; bash -i"'

自動的に実行set-titleされてタイトルが適用されます。

1行のソリューション、.bashrcに次の行を追加します

alias tab_name='read -p "Name to Assign:" tabname ;  printf "\e]2;$tabname\a" '

今すぐ端末にtab_nameを入力します

user:~$ tab_name  
Name to Assign: ( type desired name here! )

完了