diff options
| author | Tom Ryder <tom@sanctum.geek.nz> | 2013-06-20 22:51:35 +1200 |
|---|---|---|
| committer | Tom Ryder <tom@sanctum.geek.nz> | 2013-06-20 22:51:35 +1200 |
| commit | bebbc9bb1c32f3f460ca6d6e81446fcc996dc9d6 (patch) | |
| tree | b10dfe3d6269550146c4d1184921f379cd79af83 /bash/bash_profile | |
| parent | Nix DISPLAY, otherwise don't change environment (diff) | |
| download | dotfiles-bebbc9bb1c32f3f460ca6d6e81446fcc996dc9d6.tar.gz dotfiles-bebbc9bb1c32f3f460ca6d6e81446fcc996dc9d6.zip | |
Massive overhaul of structure for Bash files
* No longer using .bash_logout
* No longer using .bash_profile, using POSIX-compliant .profile
* instead; in particular, moved most of environment settings into
.profile
* Moved some of the separable functionality of both .profile and
.bashrc into subdirectories (some scripts shared, some not)
* Tidied implementation of ls/grep aliases
* Updated install script to reflect all of the above
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" - |