Question Rechargez le fichier .profile de bash sans vous déconnecter et vous reconnecter


Est-il possible de forcer bash à recharger le fichier .profile sans se déconnecter et se reconnecter?


67
2017-08-29 14:08


origine




Réponses:


Cela devrait fonctionner pour le terminal actuel:

. ~/.profile

. est un bash Builtin et un synonyme de source, voir man bash:

. nom de fichier [arguments]
  la source nom de fichier [arguments]
  Lire et exécuter des commandes à partir de nom de fichier dans l'environnement shell actuel (…).


82
2017-08-29 14:11



Il ne sera efficace que dans le terminal actuel. - enzotib
@enzotib Y a-t-il un moyen de contourner ce problème? - Matty
@Matty: non, pour que les modifications soient visibles dans tout l'environnement graphique, vous ne pouvez que redémarrer la session - enzotib
Le seul problème avec ceci est que si vous supprimez quelque chose du chemin, cela ne prendrait effet qu'au redémarrage - Aras
@enzotib Est-il efficace pour tous les sous-processus démarrés depuis le terminal actuel? - Bruce Sun


Si vous ne voulez pas démarrer un nouveau shell mais exécuter le script dans le shell actuel, vous le sourcez:

source script_name.sh

source = .

Le bash source intégré est un synonyme pour le shell Bourne . (point) commande.

courtoisie - tldp.org


11
2017-08-29 14:23