diff options
Diffstat (limited to 'bash/bash_profile')
| -rw-r--r-- | bash/bash_profile | 6 |
1 files changed, 0 insertions, 6 deletions
diff --git a/bash/bash_profile b/bash/bash_profile deleted file mode 100644 index 28f71bf9..00000000 --- a/bash/bash_profile +++ /dev/null @@ -1,6 +0,0 @@ -# Source the normal shell profile. -[[ -e "${HOME}/.profile" ]] && source "${HOME}/.profile" - -# Then source .bashrc if it exists. -[[ -e "${HOME}/.bashrc" ]] && source "${HOME}/.bashrc" - |