Skip to content

Instantly share code, notes, and snippets.

@r10r

r10r/.bash_profile

Created February 8, 2021 14:46
Show Gist options
  • Save r10r/c8a9b8f1263dbe80ddb38445f2b5cb44 to your computer and use it in GitHub Desktop.
Save r10r/c8a9b8f1263dbe80ddb38445f2b5cb44 to your computer and use it in GitHub Desktop.
Download ZIP
macOS terminal settings
Raw
.bash_profile
# use `csh -s /bin/bash` to change default shell to /bin/bash
# get back history as it should work
export SHELL_SESSION_HISTORY=0
# silence warning that zsh is now the default shell
export BASH_SILENCE_DEPRECATION_WARNING=1
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment