Altere o título do terminal no Mac OS X

39

Como posso alterar arbitrariamente o título de uma janela do Terminal no Mac OS X? Eu vi esta questão e esta coisa de magicwrap , mas pense que é apenas um simples comando do Mac OS X.     

por Dan Rosenstark 06.02.2010 / 09:16

7 respostas

47

Este artigo diz como.

Essencialmente, você usa seqüências de caracteres ecoadas na tela para informar ao terminal qual título ele deve exibir.

title='My first title'
echo -n -e "3]0;$title
echo -n -e "3]0;My first title
title='My first title'
echo -n -e "3]0;$title
echo -n -e "3]0;My first title%pre%7"
7"
7"
7"

No exemplo acima, qualquer que seja o título da variável é definido para se tornar o título do terminal. Claro, você poderia apenas ter o título na string para ecoar como:

%pre%

Mas a primeira maneira torna-a um pouco mais fácil de usar e / ou estender mais tarde.

    
por 06.02.2010 / 09:19
34

Adicionar o seguinte ao seu ~/.profile terá o mesmo efeito:

# function for setting terminal titles in OSX
function title {
  printf "3]0;%s
# function for setting terminal titles in OSX
function title {
  printf "3]0;%s%pre%7" "$1"
}
7" "$1" }

E, em seguida, um rápido title 'et voila' classificará todas as suas guias.

    
por 15.04.2010 / 09:45
8

Remix da resposta do Dan MgG:

echo -n -e "3]0;$1
title 'Trying to Figure This GIT Thing Out'
7"

Armazene em um arquivo chamado / usr / bin / title (usando o sudo!) e chmod-lo para + x. Então de qualquer lugar você pode simplesmente digitar

echo -n -e "3]0;$1
title 'Trying to Figure This GIT Thing Out'
7"

e você ganha um ótimo título.

(A sintaxe pode variar se você não estiver no OSX, se eu entendi corretamente)

    
por 06.02.2010 / 19:19
2

Como uma alternativa às soluções de linha de comando baseadas em sh, o aplicativo OS X Terminal tem a preferência de alterar o título da seguinte forma: No menu de terminal & & gt ;, há uma opção "editar título", selecione isso e você pode mudar o título facilmente.

    
por 19.03.2016 / 18:57
0

Obrigado por isso. Acabei de adicionar uma função ao meu .bashrc:

    function stit() {
    echo -n -e "3]0;$1
stit "[new window title]"
7" }

Na minha opinião, "stit" = um atalho conveniente para "set_title". E agora, quando eu quero definir o título das minhas janelas na hora, eu digito:

    function stit() {
    echo -n -e "3]0;$1
stit "[new window title]"
7" }
    
por 27.04.2014 / 19:50
0

A resposta marcada como Melhor resposta funciona bem ... foi isso que eu fiz ...

tell application "Terminal"
    activate
    do script "echo -n -e \"\033]0;WorkerTab1\007\"; cd $HOME/folder1"
end tell

isto irá definir o nome da nova aba como WorkerTab1 e então executar outros comandos como "cd", etc.

    
por 04.01.2018 / 05:57
0

No OS X, as preferências do terminal são armazenadas em ~/Library/Preferences/com.apple.Terminal.plist .

O título do terminal é armazenado na preferência WindowTitle .

    
por 12.03.2018 / 18:51

Tags