Is there a way to "resource" by bash_profile without restarting terminal? [duplicate]

Question

I often times have to make changes to my ~/.bash_profile, and I have to restart terminal for the changes to propagate. Is there any command I can run to re-source my ~/.bash_profile?

something like $ source ~/.bash_profile ?

pah
– pah

2016-07-11 00:59:22 +00:00
Commented Jul 11, 2016 at 0:59 — pah
– pah, Commented Jul 11, 2016 at 0:59

Will · Accepted Answer · 2016-07-11 00:59:30Z

9

Yes, you can just run:

source ~/.bash_profile

Or:

. ~/.bash_profile

This will reload/re-source the .bash_profile in the current shell.

I put this command in my ~/.bash_profile for convenience:

alias reprofile='source ~/.bash_profile'

Then I just type reprofile or repro TAB.

answered Jul 11, 2016 at 0:59

Will

24.8k14 gold badges100 silver badges111 bronze badges

Sign up to request clarification or add additional context in comments.

Collectives™ on Stack Overflow

Is there a way to "resource" by bash_profile without restarting terminal? [duplicate]

1 Answer 1

Comments

Linked

Hot Network Questions

Collectives™ on Stack Overflow

1 Answer 1

Comments

Linked

Related