dotfiles/bash/profile

19 lines
455 B
Plaintext
Raw Normal View History

2016-10-11 23:18:39 +02:00
# ~/.bash_profile
[ -z "$DOTFILES" ] && source "$HOME/.profile"
# Always source local bash_profiles
[ -r "$HOME/.bash_profile.local" ] && source "$HOME/.bash_profile.local"
[ -r "$HOME/.local/bash_profile" ] && source "$HOME/.local/bash_profile"
2016-10-11 23:18:39 +02:00
if shopt -q login_shell
then
# This is a bash login shell
LOGINHISTORY=~/.login.history
if [ -w "${LOGINHISTORY}" ]; then
echo "$(date) ${USER}@${HOSTNAME}" >> $LOGINHISTORY
fi
unset LOGINHISTORY
2016-10-11 23:18:39 +02:00
fi