How do I reload the setting of bash?
January 29, 2012 in Recipes, Shell
Using the command: source ~/.profile You may also include it in your .profile: alias reload=’source ~/.profile’
January 29, 2012 in Recipes, Shell
Using the command: source ~/.profile You may also include it in your .profile: alias reload=’source ~/.profile’
June 12, 2011 in Recipes, Shell
Using bash type CTRL+r first-letters-of-the-command Note that if you type the command history all the commands that you typed will be displayed, preceded by an index. To recall a command that is
…read more
December 4, 2010 in Recipes, Shell
Here: /Users/user_name/.profile
Recent Comments