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
é informarwmctrl
que a janela será especificada usando seu ID numérico (doecho $WINDOWID
para verificar seWINDOWID
é realmente um número ewmctrl -l
para 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
é informarwmctrl
de 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!