推奨マルチタップ端末

推奨マルチタップ端末

私はUbuntu 18のデフォルト設定とGNOME端末を使用しています。新しいタブを作成できますが、名前/タイトルを指定する方法が見つかりません。既存のタブ:ターミナルメニューにオプションがなく、既存のタブにオプションがSet Title見つかりません。gnome-terminal --tab --title SOMETHING現在、.bashrcには以下が定義されています。

tt() { [[ -n $1 ]] && echo -ne "\e]0;$1\a" || echo Need tab title; } 
ntt() { [[ -n $1 ]] && gnome-terminal --tab --title $1 || echo Need tab title; }

私はguake、termit、およびtilixを試してみましたが、GUIでタブの名前変更をサポートしているように見える12のうちの1つだけです(私が試したことのあるものは、不安定または使用したくない多くの項目をstderrとして出力します。ターミネーターやターミネーターなど) )。

カスタムコマンドは機能しますが、

  1. この不思議なエスケープ文字シーケンスなしでコマンドラインで既存のタブのGNOME端末タブのタイトルを設定する方法はありますか(図を参照)。https://askubuntu.com/a/22417/738406)
  2. GNOME端末と同じくらい優れていますが、#1を実行し、さらにGUIでタブタイトル設定をサポートするより良い端末エミュレータはありますか?

答え1

gnome-terminalがタブの命名を許可しなかったとき、私はとてもイライラしました。私の解決策は、私の.bash_profileから派生した私の.bash_functionsファイルに格納されている関数を作成することでした。これがその機能です:

function tabname() { newName="$1" PROMPT_COMMAND='echo -ne "\033]0;$newName\007"' }

名前を変更したいタブ(「myTab」など)に切り替えて使用できます。

タブ名「myTab」

関連情報