Donnez un nom à votre Terminal, 1ère partie
Si vous lancez le Terminal avec le drapeau -t, vous pouvez donner le nom de votre choix
à la barre de titre du Terminal. Par exemple, saisissez
Terminal -t "JoyeuseCommande"
et vous obtiendrez une nouvelle fenêtre de Terminal appelée
JoyeuseCommande, au lieu du nom par défaut "Terminal 2".
Vous pouvez aussi modifier le titre d'une fenêtre déjà ouverte du
Terminal grâce à la séquence suivante:
$ /bin/echo '\033]2;Mon Terminal\007'
Comme cette séquence risque de vous donner des boutons si vous l'utilisez
souvent, vous préférerez sans doute écrire un script shell à
la place. Enregistrez le petit script ci-dessous dans le dossier /boot/home/config/bin
sous le nom "nomterm".
#! /bin/sh
echo -e "\033]2;$1\007"
Vous pourrez ensuite saisir: nomterm "Mon Terminal" à l'invite de
n'importe quelle fenêtre de Terminal et ainsi modifier le titre de la fenêtre
en question.
Read this Tip in English here
Hier findest Du den Tip in Deutsch
Cette astuce est une contribution de Scot Hacker.
Site de l'auteur de cette astuce: http://www.birdhouse.org/beos/bible/.
Astuce traduite par: BeTrayer (Jean Schwerer).
Traduction
Française du Serveur BeTips © 2000 BeTrayer et équipe
|