web-dev-qa-db-ja.com

Ubuntu 16で端末のタイトルを設定できなくなりました（gnome-terminal）

Ubuntu 14.10 LTSでは、右クリックしてSet Titleを選択するだけで、ターミナルタブのタイトルを設定できました。これは、デフォルトのターミナルアプリケーションgnome-terminalを使用していました。

Ubuntu 16.04 LTSでは、タイトルを設定できなくなり、ターミナルアプリケーションはgnome-terminalのままです。オプションSet Titleはメニューにありません。

この機能は14.10〜16.04の間に削除されましたか？ buntu 16.04で端末タブのタイトルを設定するにはどうすればよいですか？

command-line16.04gnome-terminal
8
Chris Cirefice

端末のタイトルを設定するオプションは16.04 LTSで廃止されましたが、タイトルを設定する方法はまだあります。 ~/.bashrcファイルを編集して、次の行を追加します。

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

その後、端末を閉じて再度開くか、.bashrc（コマンド：source ~/.bashrc）を取得し、次のように入力するだけでタイトルを設定できます。

set-title "<title>"

ここで見つけた解決策 と、16.04 LTSで実行して以来、自分で使用しています。

18
Videonauth