Existe-t-il un moyen de redémarrer complètement Bash et de recharger .bashrc
et .profile
ainsi de suite? Je voudrais m'assurer que mes modifications ont bien fonctionné après avoir modifié ces fichiers.
bash
bashrc
source
bash-profile
Naftuli Kay
la source
la source
PATH
est réglé comme je veux ou monPS1
, etc.exec
et vous obtenez un shell qui source les fichiers que vous souhaitez. Puis juste auexit
moment où vous avez terminé de vérifier.$PS1
dans les fichiers de démarrage de bash, oui.Je suggère instamment de me connecter sur une fenêtre / un écran séparé. De cette façon, vous avez toujours une session de travail en cas de problème avec vos modifications apportées aux fichiers de démarrage. De plus, vous êtes sûr d'avoir un environnement propre.
Raison: J'ai vu trop de gens se bloquer sur un système à cause d'une simple faute de frappe dans leur .profile (ou autre).
la source
Si votre objectif est simplement de relire les fichiers modifiés, vous n'avez pas besoin de le redémarrer. Vous pouvez simplement vous l'approvisionner.
ou
Notez que cela ne vous donnera pas un "état propre" dans un sens qu'il ne désactive pas les variables définies ou les fonctions définies ...
la source
Ouvrira un nouveau shell pour l'
yourOwnUserName
utilisateur avec tous les paramètres rechargés. Ceci est indépendant du shell, car il fait référence aux paramètres du système, pas à votre shell spécifique. Il charge également certains paramètres à l'échelle du système quibash -l
ne le font pas (comme les groupes d'utilisateurs).la source