Why don't you make your .bash_profile read another file (or a link),
e.g. /etc/profile. Make .bash_profile bare bones. On login or
periodically check it and replace it if the user modifies it.

-- 
     Rafael

Reply via email to