☰

Como alterar o título do Konsole no bash?

tag-icon • tag-icon bash konsole window-title
Como alterar o título do Konsole no bash?

Eu gostaria que o título do Konsole fosse alterado toda vez que eu executasse um loop, assim:

while read line; do
  echo $line $i/$numline
  echo -ne "\033]0;$line $i/$numline\007"
  commands
  let i=i+1
done<text

Descobri que o echo -ne "\033]0;text\007"comando não funciona.

Responder1

Você precisa primeiro ir para as configurações de konsole:

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

O konsole por padrão ignora o que é solicitado, ele faz suas próprias coisas, conforme configurado. %wTell é substituído pelo que o shell deseja que seja. Existem outros códigos, use o botão inserir ele conhece todos os códigos.

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

Eu tenho isso é meu, ~/.bashrcele atualiza o título. Talvez você precise pesquisar mais sobre bash variável PS1ou examinar variável PROMPT_COMMAND.

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

informação relacionada