···2233PS1='$(prompt) \$ '
4455+# handle history like a not caveman
66+# Avoid duplicates
77+HISTCONTROL=ignoredups:erasedups
88+# When the shell exits, append to the history file instead of overwriting it
99+shopt -s histappend
1010+1111+# After each command, append to the history file and reread it
1212+PROMPT_COMMAND="${PROMPT_COMMAND:+$PROMPT_COMMAND$'\n'}history -a; history -c; history -r"
1313+514# extend pa for git stuffs
615pa() {
716 case $1 in
···4857 syncthing --no-browser > /dev/null &
4958 fi
5059fi
5151-5252-# chef stuff
5353-alias be='bundle exec'