PuTTYのタイトル設定コマンド

たぶん探せばあるんだろうけど，探すほどでもないから作ってしまいました．

.bashrc に以下の文を追加すると，settitle というコマンドができて，
vi とかで上書きされても，ちゃんと元に戻るようになる．

function settitle()
{
if [ "$*" ]; then
export _TITLE="$*"
fi
if [ "$_TITLE" ]; then
/bin/echo -e "\033]0;$_TITLE\007\c"
fi
}
export PROMPT_COMMAND=settitle

たくさんターミナル開いているとわけわかんなくなるし，(必要だから開いているわけだし)減らすこともできない．しかも同じディレクトリで分担するとなるとあとは何で判定するかというと，タイトルしかないわけ．

しっかし，なんで今頃こんなことしてんだろ．やっぱ現実逃避？ｗ