Skip to content

Instantly share code, notes, and snippets.

@vandorjw
Created January 25, 2017 15:15
Show Gist options
  • Save vandorjw/9381b77eb48f94d770b66f5832f3c245 to your computer and use it in GitHub Desktop.
Save vandorjw/9381b77eb48f94d770b66f5832f3c245 to your computer and use it in GitHub Desktop.
Set bash shell
# file: ~/.profile
case $- in
*i*)
# Interactive session. Try switching to bash.
if [ -z "$BASH" ]; then # do nothing if running under bash already
bash=$(command -v bash)
if [ -x "$bash" ]; then
export SHELL="$bash"
exec "$bash"
fi
fi
esac
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment