Skip to content

Instantly share code, notes, and snippets.

@ptrv
Created June 20, 2009 00:16
Show Gist options
  • Save ptrv/132964 to your computer and use it in GitHub Desktop.
Save ptrv/132964 to your computer and use it in GitHub Desktop.
Make changes to .bash_profile and need to update the current session?
$ source .bash_profile
With the above command, the user does not have to logout.
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment