Comment changer arbitrairement le titre d'une fenêtre de terminal sous Mac OS X? J'ai vu cette question et cette affaire de magie magique , mais je pense qu'il ne s'agit que d'une simple commande Mac OS X.
39
Comment changer arbitrairement le titre d'une fenêtre de terminal sous Mac OS X? J'ai vu cette question et cette affaire de magie magique , mais je pense qu'il ne s'agit que d'une simple commande Mac OS X.
Réponses:
Cet article vous explique comment.
Essentiellement, vous utilisez des séquences de caractères rappelées à l'écran pour informer le terminal du titre qu'il doit afficher.
Dans l'exemple ci-dessus, quel que soit le titre de la variable, il devient le titre du terminal. Bien sûr, vous pouvez simplement avoir le titre dans la chaîne pour faire écho, par exemple:
Mais le premier moyen le rend un peu plus facile à utiliser et / ou à étendre plus tard.
la source
echo -n -e "\033]0;$1\007"
) Dans votre réponse afin que je puisse la marquer au mieux, s'il vous plaît?printf "\033]0;%s\007" "$title_variable"
(les différentes options et comportements d' écho ne sont pas les mêmes pour tous les systèmes, les shells ou même les options de shell) De plus, les affectations de variables dans bash ne doivent pas comporter d'espaces autour du signe égal.L'ajout de ce qui suit à votre
~/.profile
volonté aura le même effet:Et puis un rapide
title 'et voila'
va trier tous vos onglets.la source
alias title="printf '\033]0;%s\007'"
.export alias title="printf '\033]0;%s\007'"
sudo nano /etc/bashrc
. Cela devrait fonctionner pour tous les utilisateurs. Redémarrez la session de terminal ou faites-lesource /etc/bashrc
pour appliquer vos modifications.Remix de la réponse de Dan MgG:
Stockez-le dans un fichier appelé / usr / bin / title (avec sudo!) Et chmod-le à + x. Puis de n'importe où vous pouvez simplement taper
et vous obtenez un joli petit titre.
(La syntaxe peut varier si vous n'êtes pas sous OSX, si je comprends bien)
la source
/usr/local/bin/title
place.En guise d'alternative aux solutions de ligne de commande basées sur sh, l'application Terminal OS X a la préférence de changer le titre de la manière suivante: Dans le menu Terminal-> shell, vous avez le choix "Éditer le titre", sélectionnez-le et modifiez-le. facilement.
la source
Sous OS X, les préférences de terminal sont stockées dans
~/Library/Preferences/com.apple.Terminal.plist
.Le titre du terminal est enregistré dans les
WindowTitle
préférences.la source
Merci pour cela. Je viens d'ajouter une fonction à mon .bashrc:
Dans mon esprit, "stit" = un raccourci pratique pour "set_title". Et maintenant, quand je veux définir le titre de mes fenêtres à la volée, je tape:
la source
La réponse marquée comme Meilleure réponse fonctionne bien ... c'est ce que j'ai fait ...
cela définira le nom du nouvel onglet sur WorkerTab1, puis effectuera d'autres commandes telles que "cd", etc.
la source