je viens d'ouvrir pour la première fois le fichier /etc/profile !: Ce fichier est étonnement petit, ce qui le rend encore une fois debian attrayant. Par contre un truc que je ne pige pas: il n'y a pas la définition initial du MANPATH ce que je retrouve sur mon HP-UX d'ailleurs, si je tape echo $MANPATH, je n'ai rien idem quand je tape env, il n'y a pas la variable MANPATH donc ma question, quand j'install un source, comment exporter le man merci