GNU/Linux >> Linux の 問題 >  >> Linux

Debian でターミネーターのタイトル、端末のタイトル、ZSH を変更するには?

以下は、gnome-terminal の各タブの名前を変更するのに役立ちました。次のコードを ~/.zshrc に追加しました ファイル。

precmd () { print -Pn "\e]0;$TITLE\a" }
title() { export TITLE="$*" }

タイトルを作成します 各タブの名前を変更する機能。

oh-my-zsh を使用している場合は注意してください 自動タイトル コマンドを無効にする必要があります。 ~/.zshrc のこの行のコメントを外してください。 ファイル:

DISABLE_AUTO_TITLE="true"

xtem エスケープ シーケンスを使用してウィンドウ タイトルを設定します。ほとんどの実装では、最初のものが最適に機能します。

echo -en "\e]0;string\a" #-- Set icon name and window title to string
echo -en "\e]1;string\a" #-- Set icon name to string
echo -en "\e]2;string\a" #-- Set window title to string

編集: 上記はタイトルを一度だけ設定します。タイトルに文字列を常に表示するように zsh を設定するには、次を .zprofile に追加します あなたのホームディレクトリに:

case $TERM in
    xterm*)
        precmd () {print -Pn "\e]0;string\a"}
        ;;
esac

これは、使用するシェルに関係なく機能するはずです:

printf "\033];%s\07\n" "hello world"

Linux
  1. Linuxでシステムホスト名を設定または変更する方法

  2. Debianでホスト名を変更する方法

  3. Debian で SSH キーを設定する方法

  1. Linuxでタイムゾーンを設定または変更する方法

  2. Debian 11に静的IPを設定する-その方法は?

  3. ターミナルタイトルを変更しますか?

  1. Debian10でホスト名を変更する方法

  2. Debian9でタイムゾーンを設定または変更する方法

  3. Debian10でタイムゾーンを設定または変更する方法