Existe-t-il un moyen de redémarrer complètement Bash et de recharger .bashrcet .profileainsi de suite? Je voudrais m'assurer que mes modifications ont bien fonctionné après avoir modifié ces fichiers.
Existe-t-il un moyen de redémarrer complètement Bash et de recharger .bashrcet .profileainsi de suite? Je voudrais m'assurer que mes modifications ont bien fonctionné après avoir modifié ces fichiers.
Réponses:
Faites-le se remplacer par lui-même.
exec bash -l
Notez que cela n'affectera pas des choses telles que le cwd ou les variables exportées.
execet vous obtenez un shell qui source les fichiers que vous souhaitez. Puis juste au exitmoment où vous avez terminé de vérifier.
$PS1dans 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).
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.
source filename
ou
. filename # notice the dot
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 ...
su -l yourOwnUserName
Ouvrira un nouveau shell pour l' yourOwnUserNameutilisateur 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 qui bash -lne le font pas (comme les groupes d'utilisateurs).
PATHest réglé comme je veux ou monPS1, etc.