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.
8146
Age (days ago)
8146
Last active (days ago)
0 comments
1 participants
participants (1)
-
cb@lipn.univ-paris13.fr