Comment le recharger.profil bash de la ligne de commande?

Comment recharger .bash_profile depuis la ligne de commande? Je peux faire en sorte que le shell reconnaisse les modifications à .bash_profile en sortant et en me connectant à nouveau mais je voudrais pouvoir le faire sur demande.

735
demandé sur jaypal singh 2011-01-05 22:09:07
la source

13 ответов

tapez simplement source ~/.bash_profile

alternativement, si vous aimez enregistrer des frappes, vous pouvez taper . ~/.bash_profile

1403
répondu SiegeX 2011-01-05 22:10:03
la source
. ~/.bash_profile

assurez-vous simplement de ne pas avoir de dépendances sur l'état actuel.

80
répondu Carl Norum 2011-01-05 22:11:30
la source

tapez simplement:

. ~/.bash_profile

cependant, si vous voulez le source pour l'exécuter automatiquement lorsque le terminal démarre au lieu de l'exécuter chaque fois que vous ouvrez le terminal, vous pouvez ajouter . ~/.bash_profile au fichier ~/.bashrc .

Note:

lorsque vous ouvrez un terminal, le terminal démarre bash en mode interactif (non-login), ce qui signifie qu'il va source ~/.bashrc .

~/.bash_profile n'est fourni par bash que lorsqu'il est démarré en mode de connexion interactive . Ce n'est généralement que lorsque vous vous connectez à la console ( Ctrl + Alt + F1 .. F6 ), ou en se connectant via ssh .

24
répondu Mohammad Anini 2015-07-15 14:04:51
la source

Vous pouvez également utiliser cette commande pour recharger le ~/.bash_profile pour cet utilisateur. Assurez-vous d'utiliser le tableau de bord.

su - username
12
répondu jaypal singh 2014-05-11 05:26:53
la source
  1. Enregistrer .bash_profile fichier
  2. Goto répertoire personnel de l'utilisateur en tapant cd
  3. recharger le profil avec . .bash_profile
10
répondu Mithun Khatri 2016-07-14 19:40:31
la source

j'aime le fait qu'après avoir édité le fichier, tout ce que vous avez à faire est de taper:

. !$

cette source le fichier que vous venez de Éditer dans l'histoire. Voir qu'est-Ce que bang dollar bash .

6
répondu hyper_st8 2017-07-07 20:28:19
la source

ajouter alias bashs="source ~/.bash_profile" dans votre fichier bash. Donc vous pouvez appeler bashs de la prochaine fois

3
répondu Shemeer M Ali 2015-09-10 16:12:37
la source

vous avez juste besoin de taper . ~/.bash_profile

refer: https://superuser.com/questions/46139/what-does-source-do

3
répondu Jenil Mewada 2018-08-18 10:34:54
la source

si le .bash_profile n'existe pas vous pouvez essayer la commande suivante:

. ~/.bashrc 

ou

 source ~/.bashrc

au lieu de .bash_profile. Vous pouvez trouver plus d'information sur bashrc

2
répondu 3p3ch3 2017-04-13 15:36:30
la source

J'utilise Debian et je peux simplement taper exec bash pour y arriver. Je ne peux pas dire si ça marchera sur toutes les autres distributions.

1
répondu Cassandra 2017-03-29 05:50:03
la source

j'ai voulu poster une réponse rapide que tout en utilisant source ~/.bash_profile ou les réponses mentionnées ci-dessus fonctionne, une chose à mentionner est que cela ne recharge votre profil bash dans l'onglet courant ou la session que vous consultez. Si vous souhaitez recharger votre bash profil sur chaque onglet/shell, vous devez entrer cette commande manuellement dans chacun d'eux.

si vous utilisez iTerm, vous pouvez utiliser CMD ż + Shift + I pour entrer une commande dans tous les onglets . Pour les terminaux, il peut être utile de faire référence à cette issue ;

1
répondu aug 2017-12-06 02:55:07
la source
alias reload!=". ~/.bash_profile"

ou si vous voulez ajouter des logs via des fonctions

function reload! () {
    echo "Reloading bash profile...!"
    source ~/.bash_profile
    echo "Reloaded!!!"
}
1
répondu 7urkm3n 2018-07-27 01:06:13
la source

je dirige Sierra, et j'y ai travaillé pendant un certain temps (en essayant toutes les solutions recommandées). Je suis devenu confus donc finalement essayé de redémarrer mon ordinateur! Il a fonctionné

ma conclusion est que parfois une réinitialisation dure est nécessaire

0
répondu Mike Palmice 2017-04-26 18:13:15
la source

Autres questions sur bash shell .bash-profile