diff options
Diffstat (limited to '.bashrc')
| -rw-r--r-- | .bashrc | 3 |
1 files changed, 3 insertions, 0 deletions
@@ -6,6 +6,9 @@ echo .bashrc begin PS1='\[\033[1;33m\]$($HOME/.local/bin/prompt)\[\033[0m\]' +# Warn if .bash_profile exists (since it will prevent loading .profile) +[[ -f ~/.bash_profile ]] && echo WARN: .bash_profile exists + # Bash history config HISTSIZE=65535 HISTFILE=$HOME/.bash_history |
