.bashrc # If not running interactively, don’t do anything [ -z "$PS1" ] && return # don’t put duplicate lines in the history and ignore same sucessive entries. export HISTCONTROL=ignoreboth # make the history longer HISTFILESIZE=5000 # append to the history file, don’t overwrite it shopt -s histappend # check the window size after each [...]