config-bash/profile.d/history

#!/bin/bash

# Customize history format
export HISTSIZE=5000
export HISTFILESIZE=20000
export HISTTIMEFORMAT="[%d/%m/%Y %H:%M:%S] "
export HISTCONTROL="ignoreboth"
export HISTIGNORE="[bf]g:exit:history*:^rm:reboot:ls:ll:man:mutt"
Add bash configuration files 2013-04-24 16:58:31 +02:00			`#!/bin/bash`

			`# Customize history format`
			`export HISTSIZE=5000`
			`export HISTFILESIZE=20000`
			`export HISTTIMEFORMAT="[%d/%m/%Y %H:%M:%S] "`
			`export HISTCONTROL="ignoreboth"`
Modified history params 2015-09-18 12:10:53 +02:00			`export HISTIGNORE="[bf]g:exit:history*:^rm:reboot:ls:ll:man:mutt"`