Donnez un nom à votre Terminal, 2ème partie
Cette astuce repose sur les informations de l'astuce Donnez un nom à votre Terminal.
Si vous voulez que le titre de votre fenêtre de Terminal reflète le
dossier de travail actuel, vous devez faire deux choses:
1) Ajouter la ligne suivante à votre fichier .profile (dans le dossier
home):
PROMPT_COMMAND=~/config/bin/term
2) Créer un fichier appelé term (ou tout autre nom, assurez-vous
seulement que la ligne PROMPT_COMMAND à l'étape 1 utilise le
même nom) dans le dossier /boot/home/config/bin. Ce fichier devrait
contenir le code suivant:
#!/bin/sh
echo -e "\033]2;`pwd`\007"
Relancez le Terminal, et votre titre devrait être /boot/home. Ce titre
changera chaque fois que vous vous placerez dans un autre dossier, car la ligne
PROMPT_COMMAND sera exécutée chaque fois que vous saisirez une
commande à l'invite du Terminal.
Cash Erler (erlercw@yahoo.com) ajoute:
Remplacez echo -e dans le script apr echo -en.
Cela affichera le nom du dossier de travail dans la barre de titre et n'imprimera pas
de retour à la ligne à chaque fois (ce que le Terminal ne fait pas par
défaut, et qui peut se révéler énervant).
Read this Tip in English here
Hier findest Du den Tip in Deutsch
Cette astuce est une contribution de Haris Ceric.
Astuce traduite par: BeTrayer (Jean Schwerer).
Traduction
Française du Serveur BeTips © 2000 BeTrayer et équipe
|