17 Jul
2004
17 Jul
'04
2:44 p.m.
Ton observation pour $HOME versus pwd vaut en fait pour tout un chacun au labo, c'est lié au système d'export (cf ls /users/ ) et ls -l /users Donc, tu n'as pas a t'inquieter de cette (fausse) différence. Si tu suis la section 7.4 de la FAQ de notre intranet, tu devrais pouvoir filtrer plus severement tes mails. Good luck, Cyril.