J'ai fréquemment édité le .bashrc
fichier pour exporter de nouvelles variables d'environnement.
Plutôt que de fermer la console et d’en créer une nouvelle pour actualiser les variables env, existe-t-il un moyen pratique d’actualiser les données?
J'ai fréquemment édité le .bashrc
fichier pour exporter de nouvelles variables d'environnement.
Plutôt que de fermer la console et d’en créer une nouvelle pour actualiser les variables env, existe-t-il un moyen pratique d’actualiser les données?
Réponses:
Dans la même fenêtre, vous pouvez simplement taper bash
pour en commencer une nouvelle. Cela équivaut à fermer la fenêtre et à en ouvrir une nouvelle.
Alternativement, vous pouvez taper source ~/.bashrc
à la source du .bashrc
fichier.
source
. vous pouvez simplement taper point au lieu de celui - ci: . ~/.bashrc
.
source
indique à l'utilisateur quelle commande est appelée. Je ne crois pas à montrer les commandes en raccourci aux nouveaux utilisateurs jusqu'à ce qu'ils comprennent ce que fait le code.
source
un bashisme plus long à taper mais qui n'offre aucun avantage par rapport à son portatif sur tous les coques .
, je ne vois pas l'intérêt d'encourager quiconque, nouveau ou expérimenté, à l'utiliser.
source
est la bonne façon