diff options
Diffstat (limited to 'home/.bash_profile')
-rw-r--r-- | home/.bash_profile | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/home/.bash_profile b/home/.bash_profile index e10efd5..902315e 100644 --- a/home/.bash_profile +++ b/home/.bash_profile | |||
@@ -9,6 +9,14 @@ | |||
9 | 9 | ||
10 | 10 | ||
11 | ######################################################################## | 11 | ######################################################################## |
12 | ## PATH | ||
13 | ######################################################################## | ||
14 | # ~/bin is used for personal scripts and other executables used only | ||
15 | # by this user. | ||
16 | PATH=$PATH:$HOME/bin | ||
17 | |||
18 | |||
19 | ######################################################################## | ||
12 | ## .bashrc (core) | 20 | ## .bashrc (core) |
13 | ######################################################################## | 21 | ######################################################################## |
14 | if [[ $- == *i* && -f ~/.bashrc ]]; then | 22 | if [[ $- == *i* && -f ~/.bashrc ]]; then |