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.
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.
title='My first title'
echo -n -e "\033]0;$title\007"
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:
echo -n -e "\033]0;My first title\007"
Mas a primeira maneira torna um pouco mais fácil de usar e / ou estender mais tarde.
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:
# function for setting terminal titles in OSX
function title {
printf "\033]0;%s\007" "$1"
}
E então uma rápida title 'et voila'
classificará todas as suas guias.
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ça source /etc/bashrc
para aplicar suas alterações.
Remix da resposta de Dan MgG:
echo -n -e "\033]0;$1\007"
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
title 'Trying to Figure This GIT Thing Out'
e você ganha um bom título.
(A sintaxe pode variar se você não estiver no OSX, se bem entendi)
/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.
Obrigado por isso. Acabei de adicionar uma função ao meu .bashrc:
function stit() {
echo -n -e "\033]0;$1\007"
}
Na minha cabeça "stit" = um atalho conveniente para "set_title". E agora, quando quero definir o título das minhas janelas rapidamente, digito:
stit "[new window title]"
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
isso definirá o nome da nova guia como WorkerTab1 e executará outros comandos como "cd" etc.