81faada
6eb00d6
1
2 3
# I've followed this advice: https://superuser.com/a/789465 [ -r "$HOME/.profile" ] && source "$HOME/.profile" [ -r "$HOME/.bashrc" ] && source "$HOME/.bashrc"