Como mudar o título do Konsole no bash?

Question

Eu gostaria de ter o título do Konsole alterado toda vez que eu executar um loop, como este:

while read line; do
  echo $line $i/$numline
  echo -ne "3]0;$line $i/$numline
while read line; do
  echo $line $i/$numline
  echo -ne "3]0;$line $i/$numline%pre%7"
  commands
  let i=i+1
done<text
7"
  commands
  let i=i+1
done<text

Descobri que o comando echo -ne "3]0;text%code%7" não funciona.

    

Answer 1

Primeiro, você precisa acessar as configurações de konsole :

Configurações de

- > configurar perfil atual - > Guias - > Formato do título da guia =% w

O konsole, por padrão, ignora o que é pedido, ele faz sua própria configuração. %w tell é substituído pelo que a shell quer que seja. Existem outros códigos, use o botão inserir conhece todos os códigos.

Uma breve nota sobre como fazer com que o shell substitua o que o emulador de terminal estava fazendo.

Eu tenho este é meu ~/.bashrc atualiza o título. Você pode ter que fazer mais pesquisas sobre a variável bash PS1 , ou olhar para a variável PROMPT_COMMAND .

case "$TERM" in
xterm*|rxvt*)
    PS1="\[\e]0;${debian_chroot:+($debian_chroot)}\u@\h: \w\a\]$PS1"
    ;;
*)
    ;;
esac