Home: RSS

"で"な日々

2009/04/02

zshでターミナルのタイトルを変更する

X端末でzshを使っている時、端末のタイトルを変えたいと思っていたら、ちょうどいいものが【コラム】漢のzsh (2) 取りあえず、プロンプトを整えておく。カッコつけたいからね | エンタープライズ | マイコミジャーナルにあった。

# set terminal title including current directory
#
case "${TERM}" in
kterm*|xterm)
    precmd() {
        echo -ne "\033]0;${USER}@${HOST%%.*}:${PWD}\007"
    }
    ;;
esac 
      

これで、タイトルにユーザ名、ホスト名、カレントディレクトリが表示される。 ここで、precmd は zsh でコマンドの実行前に呼ばれる関数である。 また、xterm のコントロールシーケンスは、Debian で xterm パッケージを入れている場合、/usr/share/doc/xterm/ctlseqs.txt.gz に説明がある。

[/software/zsh] permanent link