Je crée un petit script d'installation automatisé qui modifiera /etc/profileet, $HOME/.profilesi certains chemins ne sont pas exportés. Ensuite, j'aimerais les recharger automatiquement. J'ai lu que sourcefait cela, alors j'ai tiré mon terminal et entré: source /etc/profile source ~/.profile Depuis...