Автоматическое переименование закладок в Konsole

Тем, кто использует Konsole для работы в командной строке, наверняка приходилось сталкиваться с тем, что Konsole нумерует закладки в стиле Shell#1, Shell#2 и т.д. Конечно, закладки можно переименовать, но это неудобно. Лучше было бы сделать это автоматически. Например, при логине на удаленную машину закладка переименовывалась бы в username @ hostname.

Как оказалось, данная возможность в Konsole имеется, но скрыта от глаз мирских (т.е. ее нельзя найти в опциях настроек). Для того, чтобы включить опцию в нужно сделать следующее:

для tcsh
alias sess 'echo "\033]30;\!*\007\c"'

для bash - добавить в .bashrc
export PS1=$PS1"\[\e]30;\w\a\]"
или если в закладке также хочется иметь имя хоста:
export PS1=$PS1"\[\e]30;\u at \H:\w\a\]"

P.S.: а для тех, кто-таки прочитал данную статью целиком, добавлю, что баг этот я добавил в wishlist кде (тогда еще версии 2.2.2) в феврале 2002го года :)
http://bugs.kde.org/show_bug.cgi?id=38055
и совсем забыл бы про него, если бы его не открыли заново совсем недавно и мне в почтовый ящик не пришли бы новые рассуждения на эту тему ;)