general method to set the $PATH

[Marco d'Itri]

Users' $PATH is set in different places: /etc/profile, /etc/login.defs
and different programs (login, ssh) read it from different files.
Should we estabilish a policy on this issue?

-- 
ciao,
Marco