muda o título do terminal

Question

muda o título do terminal

#1 resposta do (7 votos)
#2 resposta do (6 votos)

4

Eu quero fazer um shell alias que inicie um certo programa e também mude o título do terminal para o nome do programa. Como posso fazer isso?

Caso seja importante, estou executando o terminal no Ubuntu e conectando a um servidor Debian via ssh.

bash debian terminal

por JoelFan 13.04.2011 / 03:35

2 respostas

7

A maioria dos terminais reconhece uma certa seqüência de escape como uma tentativa de alterar o título, então isso funcionará:

$ alias foo-with-title='echo -ne "3]0;foo$ alias foo-with-title='echo -ne "3]0;foo%pre%7"; foo'
7"; foo'

por 13.04.2011 / 05:22

Tags bash debian terminal

verificar um argumento para um script bash é uma cadeia de todos os dígitos Não estou conseguindo clonar um repositório do git quando estiver atrás de um proxy

score 6 · Accepted Answer

No Bash, eu uso o seguinte comando trap na última linha do meu .bashrc para fazer eco de todos os comandos para a barra de título.

# trap commands and echo them to xterm titlebar. Must be last line.
trap 'echo -ne "3]0;$BASH_COMMAND $USER@${HOSTNAME}>$(pwd)# trap commands and echo them to xterm titlebar. Must be last line.
trap 'echo -ne "3]0;$BASH_COMMAND $USER@${HOSTNAME}>$(pwd)%pre%7"' DEBUG
7"' DEBUG

Portanto, se você executar sleep 10 , verá sua alteração na barra de título em sleep 10 pela duração do comando, após o qual ele será alterado novamente para user@host>pwd .