Se você precisar alterar o título do terminal, aconselho usar wmctrl que também funcionará dentro de um script (na verdade, sua solução falha porque o prompt não é usado ao executar scripts). Então, primeiro instale o pacote wmctrl , por exemplo, usando o apt:
sudo apt-get install wmctrl
O bom thin com bash é que ele tem uma variável chamada WINDOWID que contém um ID de janela (sem brincadeira!) que o wmctrl pode usar. No Bash ou em um script, tente:
wmctrl -ir $WINDOWID -N "A cool title"
- A opção
-ié informarwmctrlque a janela será especificada usando seu ID numérico (doecho $WINDOWIDpara verificar seWINDOWIDé realmente um número ewmctrl -lpara listar todas as janelas gerenciado pelo seu gerenciador de janelas e compare ... você provavelmente terá que converter de decimal para hexadecimal ou talvez usarprintf '%#.8x\n' "$WINDOWID"). - A opção
-ré informarwmctrlde que a janela especificada estará pronta para a ação a seguir, ou seja,-N, altere seu título para o título especificado.
man wmctrl para mais informações sobre essa pequena ferramenta engraçada.
Aproveite!