Bannière de NPC
  Trucs et Astuces pour BeOS -       Catégorie: Terminal
 

Accueil

Alertes
Applications
Audio et Vidéo
Divers
Interface
Matériel
Réseaux
Terminal
Tracker

Infos Serveur

 

 

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
 

 

BeArchives.com Banner Exchange Network