conviene modificare il bash profile perchè in alcune distro sono diversi i profile per utente e root di solito l' /etc/profile è quello "generale" per tutti gli utenti oppure in esso si trova anche quello per il root con path diversi. puoi comunque "ricaricare" il profile anche con "source /etc/profile"