Cameron Simpson writes: > >How does one get the bash environment reloaded without logging out and > >logging in ? $source <something> ? $exec bash ? ./bash ? > > If your terminals run login shells, opening a new terminal will do. For > that terminal, of course. > > Or you can source your .profile (or separate script): > > . ~/.bash_profile
Be very careful with sourcing. These scripts are likely to set things in your environment or start processes that are appropriate at initialization, but will trash your current environment. For example, typically these scripts set PATH to a literal string. If you have added anything to PATH, you'll lose the additions. In other cases, they may add stuff or run stuff that you don't want done twice. Running a new shell under the old one is always safe (since the old shell is still there when you exit this one), and if you need "login" behavior, "bash -l" gives you that. Other than that, I'd give Cameron high marks for "Everything You Wanted to Know about Bash Initialization, But Were -- Rightly! -- Afraid to Ask". Good balance between what you should know if you're gonna mess with it and just plagiarizing the whole man page. :-) _______________________________________________ users mailing list -- users@lists.fedoraproject.org To unsubscribe send an email to users-le...@lists.fedoraproject.org Fedora Code of Conduct: https://docs.fedoraproject.org/en-US/project/code-of-conduct/ List Guidelines: https://fedoraproject.org/wiki/Mailing_list_guidelines List Archives: https://lists.fedoraproject.org/archives/list/users@lists.fedoraproject.org Do not reply to spam on the list, report it: https://pagure.io/fedora-infrastructure
