Navigation Menu

Skip to content

Instantly share code, notes, and snippets.

@diginc

diginc/.bashrc-history

Last active August 29, 2015 14:15
Show Gist options
  • Star 0 You must be signed in to star a gist
  • Fork 1 You must be signed in to fork a gist
  • Save diginc/f4527d2ed93b03fa4ae2 to your computer and use it in GitHub Desktop.
Save diginc/f4527d2ed93b03fa4ae2 to your computer and use it in GitHub Desktop.
Download ZIP
History options in bashrc ubuntu default file
Raw
.bashrc-history
$ grep -ri hist ~/.bashrc | grep -v alias
# don't put duplicate lines or lines starting with space in the history.
#HISTCONTROL=ignoreboth
# append to the history file, don't overwrite it
shopt -s histappend
# for setting history length see HISTSIZE and HISTFILESIZE in bash(1)
#HISTSIZE=1000
#HISTFILESIZE=2000
export HISTSIZE=100000
export HISTFILESIZE=50000
export HISTCONTROL=ignoredups
export PROMPT_COMMAND="history -a; history -n; $PROMPT_COMMAND"
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment