07/01/13 11:13:03
>>337
gentoo だと ~/.bashrc で PROMPT_COMMAND に定義されている内容で
タイトルが出るので、そのコマンドを実行すればいいことになるのだが。。。
あと私の環境だと echo -n -e "\033k ～ でタイトル設定は出来なかった。
echo -n -e "\033]0; ～ \007"
ならウィンドウ・タイトルと最小化したときの名前が変わった。
echo -n -e "\033]2; ～ \007"
だとウィンドウ・タイトルのみで最小化したときの名前は変わらなかった。
man console_codes を読んだら、確かにそう書かれていた。