Re: $MAIL et $MAILDIR
synthespian [EMAIL PROTECTED] a déclaré : Em Dom, 2002-06-02 às 18:41, VALLIET Manu escreveu: On Sun, Jun 02, 2002 at 09:43:14PM +0200, EISELE Pascal wrote: Est-ce que quelqu'un sais comment se débarasser de la variable d'environement MAIL au profit de la variable MAILDIR au démarage et ce quelque soit l'utilisateur séléctionné et sans avoir a modifié chaque .bashrc ou .bash_profile ? Dans les fichiers de config globaux (ie dans /etc, par opposition à ceux de $HOME) ? Je sais qu'on peux utiliser /etc/environement mais pour enlever $MAIL, comment faire ? Plutôt que de supprimer $MAIL à postériori, tu ferais mieux de chercher à quel endroit elle a été positionnée. Par défaut, elle ne devrait pas l'être. 'unset MAIL' devrait faire l'affaire, non ? Peux tu l'expliquer un petit plus miuex? La documentation de ton shell ou 'man unset' devrait expliquer ça un peu mieux. -- Cédric -- To UNSUBSCRIBE, email to [EMAIL PROTECTED] with a subject of unsubscribe. Trouble? Contact [EMAIL PROTECTED]
Re: $MAIL et $MAILDIR
Em Dom, 2002-06-02 às 18:41, VALLIET Manu escreveu: On Sun, Jun 02, 2002 at 09:43:14PM +0200, EISELE Pascal wrote: Bonsoir, Est-ce que quelqu'un sais comment se débarasser de la variable d'environement MAIL au profit de la variable MAILDIR au démarage et ce quelque soit l'utilisateur séléctionné et sans avoir a modifié chaque .bashrc ou .bash_profile ? Je sais qu'on peux utiliser /etc/environement mais pour enlever $MAIL, comment faire ? Merci d'avance ! 'unset MAIL' devrait faire l'affaire, non ? Peux tu l'expliquer un petit plus miuex? Merci Henry [EMAIL PROTECTED] -- To UNSUBSCRIBE, email to [EMAIL PROTECTED] with a subject of unsubscribe. Trouble? Contact [EMAIL PROTECTED]
$MAIL et $MAILDIR
Bonsoir, Est-ce que quelqu'un sais comment se débarasser de la variable d'environement MAIL au profit de la variable MAILDIR au démarage et ce quelque soit l'utilisateur séléctionné et sans avoir a modifié chaque .bashrc ou .bash_profile ? Je sais qu'on peux utiliser /etc/environement mais pour enlever $MAIL, comment faire ? Merci d'avance ! -- To UNSUBSCRIBE, email to [EMAIL PROTECTED] with a subject of unsubscribe. Trouble? Contact [EMAIL PROTECTED]
Re: $MAIL et $MAILDIR
On Sun, Jun 02, 2002 at 09:43:14PM +0200, EISELE Pascal wrote: Bonsoir, Est-ce que quelqu'un sais comment se débarasser de la variable d'environement MAIL au profit de la variable MAILDIR au démarage et ce quelque soit l'utilisateur séléctionné et sans avoir a modifié chaque .bashrc ou .bash_profile ? Je sais qu'on peux utiliser /etc/environement mais pour enlever $MAIL, comment faire ? Merci d'avance ! 'unset MAIL' devrait faire l'affaire, non ? -- Manu /* En mathématiques, les révolutions [...] se font en construisant de nouveaux univers qui soit englobent les précédents, soit se placent à leurs côtés. Les nouveaux êtres jamais n'annihilent les anciens. -- Verdier, Norbert ; Qu'est-ce que les mathématiques ? */ -- To UNSUBSCRIBE, email to [EMAIL PROTECTED] with a subject of unsubscribe. Trouble? Contact [EMAIL PROTECTED]