Como posso alterar arbitrariamente o título de uma janela do Terminal no Mac OS X? Eu já vi essa pergunta e essa coisa mágica , mas acho que é apenas um simples comando do Mac OS X.
39
Como posso alterar arbitrariamente o título de uma janela do Terminal no Mac OS X? Eu já vi essa pergunta e essa coisa mágica , mas acho que é apenas um simples comando do Mac OS X.
Respostas:
Este artigo explica como.
Essencialmente, você usa seqüências de caracteres ecoadas na tela para informar ao terminal qual título deve exibir.
No exemplo acima, qualquer que seja o título da variável definido enquanto se torna o título do terminal. Obviamente, você poderia ter o título na string para ecoar, como:
Mas a primeira maneira torna um pouco mais fácil de usar e / ou estender mais tarde.
fonte
echo -n -e "\033]0;$1\007"
) Em sua resposta para que eu possa marcar a melhor resposta, por favor?printf "\033]0;%s\007" "$title_variable"
(as várias opções e comportamentos de eco não são os mesmos em todos os sistemas, shells ou mesmo opções de shell) Além disso, as atribuições de variáveis no bash não devem ter espaços em torno do sinal de igual.Se você adicionar o seguinte,
~/.profile
obterá o mesmo efeito:E então uma rápida
title 'et voila'
classificará todas as suas guias.fonte
alias title="printf '\033]0;%s\007'"
.export alias title="printf '\033]0;%s\007'"
sudo nano /etc/bashrc
. Isso deve ser executado para todos os usuários. Reinicie a sessão do terminal ou façasource /etc/bashrc
para aplicar suas alterações.Remix da resposta de Dan MgG:
Armazene-o em um arquivo chamado / usr / bin / title (usando o sudo!) E faça o chmod para + x. Então, de qualquer lugar, basta digitar
e você ganha um bom título.
(A sintaxe pode variar se você não estiver no OSX, se bem entendi)
fonte
/usr/local/bin/title
.Como alternativa às soluções de linha de comando baseadas em sh, o aplicativo OS X Terminal prefere alterar o título da seguinte forma: No menu Terminal-> shell, há uma opção "editar título", selecione isso e você poderá alterar o título facilmente.
fonte
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
WindowTitle
preferência.fonte
Obrigado por isso. Acabei de adicionar uma função ao meu .bashrc:
Na minha cabeça "stit" = um atalho conveniente para "set_title". E agora, quando quero definir o título das minhas janelas rapidamente, digito:
fonte
A resposta marcada como Melhor resposta funciona bem ... foi isso que eu fiz ...
isso definirá o nome da nova guia como WorkerTab1 e executará outros comandos como "cd" etc.
fonte