Le jeu 14/08/2003 à 11:09, Jean-Christophe Caron a écrit : > Salut, > > ~/.bashrc et ~/.bash_profil sont sprécifiques à un utilisateur donc ce > serait soit /etc/bashrc ou /etc/profile > Perso je prendrais /etc/profile sont nom me semblant plus sympa. Tiens, on définit le rôle d'un fichier d'après l'esthétique de son nom maintenant. On arrête pas le progrès. pour info: de man bash: /etc/profile Le fichier d'initialisation globale, exécutée par les shells de login. ~/.bash_profile Le fichier d'initialisation personnalisée, exécutée par les shells de login. ~/.bashrc Le fichier de démarrage personnel, pour les shells interactifs. et naturellement: /etc/bash.bashrc Le fichier de démarrage globale, pour les shells interactifs. Conclusion: comme les alias ne servent en général que dans les shells interactifs (i.e. ligne de commande), colle tes alias globaux dans /etc/bashrc, les locaux dans ~/.bashrc . /N ______________________________________________________________________ Nicolas Rueff <n.rueff@tuxfamily.org> http://rueff.tuxfamily.org +33 6 77 64 44 80 -- Tomorrow's computers some time next month. -- DEC ______________________________________________________________________
Attachment:
signature.asc
Description: Ceci est une partie de message =?ISO-8859-1?Q?num=E9riquement?= =?ISO-8859-1?Q?_sign=E9e?=