Réinitialisez vos variables d'environnement
Si vous apportez des modifications à vos variables d'environnement dans le
fichier ~/config/UserSetupEnvironment, vous n'avez pas à attendre le
prochain redémarrage pour que les changements soient pris en compte. A la place,
saisissez simplement:
source <nom_du_fichier>
Cette méthode a pour avantage d'offir un système sur lequel on peut
travailler même si on fait une erreur dans le fichier modifié.
Read this Tip in English here
Hier findest Du den Tip in Deutsch
Cette astuce est une contribution de Alasdair Muckart.
Site de l'auteur de cette astuce: http://members.aon.at/lemming/.
Astuce traduite par: Nicolas.
Traduction
Française du Serveur BeTips © 2000 BeTrayer et équipe
|
