49 votes

Après avoir modifié /etc/profile, que dois-je faire pour réinitialiser mon shell ?

Pour tester ses effets immédiatement au lieu d'avoir à recharger le terminal

77voto

Serdar Dalgic Points 1192

utiliser source /etc/profile

pour plus de détails, man source ou vous pouvez consulter ce lien http://bash.cyberciti.biz/guide/Source_command

12voto

sjr Points 5686

S'il s'agit de bash, vous pouvez faire . /etc/profile , c'est la même chose que source /etc/profile .

Prograide.com

Prograide est une communauté de développeurs qui cherche à élargir la connaissance de la programmation au-delà de l'anglais.
Pour cela nous avons les plus grands doutes résolus en français et vous pouvez aussi poser vos propres questions ou résoudre celles des autres.

Powered by:

X