I like the fact that after you have just edited the file, all you need to do is type:
. !$This sources the file you had just edited in history. See What is bang dollar in bash.
↧
Channel:
How to reload .bash_profile from the command line - Stack Overflow
X
Are you the publisher?
Claim or
contact us
about this channel.
X
0
Channel Details:
- Title: How to reload .bash_profile from the command line - Stack Overflow
- Channel Number: 78562671
- Language: English
- Registered On: March 15, 2024, 3:01 am
- Number of Articles: 16
- Latest Snapshot: March 15, 2024, 3:03 am
- RSS URL: https://stackoverflow.com/feeds/question/4608187
- Publisher: https://stackoverflow.com/q/4608187
- Description:
- Catalog: //reload432.rssing.com/catalog.php?indx=78562671
© 2025 //www.rssing.com