Don't source .profile from .bash_profile

bash has [a specific order in which it tries to source a profile/login
file][1], so given that this repository provides a .bash_profile file,
it will not attempt to, and in fact should not, source .profile. This
was causing some bad behavior on login to some machines which had a
system default ~/.profile provided which re-sourced .bashrc.

[1]: https://www.gnu.org/savannah-checkouts/gnu/bash/manual/bash.html#Invoked-as-an-interactive-login-shell_002c-or-with-_002d_002dlogin
master
Jordan Atwood 1 year ago
parent 9996dc437a
commit 6fd4036a27
Signed by: nightfirecat
GPG Key ID: 615A619C2D73A6DF
  1. 6
      src/.bash_profile

@ -1,11 +1,5 @@
#!/usr/bin/env bash
# source ~/.profile if it exists
if [ -f ~/.profile ]; then
# shellcheck disable=SC1090
. ~/.profile
fi
### environment vars
# add $HOME/.bin to PATH (this is created via dotfiles setup)
export PATH="${PATH}:$HOME/.bin"

Loading…
Cancel
Save