2012-02-01 05:37:51 +01:00
|
|
|
#
|
2012-04-15 20:21:08 +02:00
|
|
|
# Sets history options and defines history aliases.
|
2012-02-01 05:37:51 +01:00
|
|
|
#
|
|
|
|
|
# Authors:
|
|
|
|
|
# Robby Russell <robby@planetargon.com>
|
|
|
|
|
# Sorin Ionescu <sorin.ionescu@gmail.com>
|
|
|
|
|
#
|
|
|
|
|
|
2012-06-02 23:17:12 +02:00
|
|
|
HISTFILE="$HOME/.zhistory" # The path to the history file.
|
|
|
|
|
HISTSIZE=10000 # The maximum number of events to save in the internal history.
|
|
|
|
|
SAVEHIST=10000 # The maximum number of events to save in the history file.
|
2009-09-23 17:14:04 +02:00
|
|
|
|
2011-10-11 04:16:06 +02:00
|
|
|
setopt BANG_HIST # Treat the '!' character specially during expansion.
|
2012-04-15 20:21:08 +02:00
|
|
|
setopt EXTENDED_HISTORY # Write the history file in the ':start:elapsed;command' format.
|
2011-10-11 04:16:06 +02:00
|
|
|
setopt INC_APPEND_HISTORY # Write to the history file immediately, not when the shell exits.
|
|
|
|
|
setopt SHARE_HISTORY # Share history between all sessions.
|
2012-06-02 23:17:12 +02:00
|
|
|
setopt HIST_EXPIRE_DUPS_FIRST # Expire a duplicate event first when trimming history.
|
|
|
|
|
setopt HIST_IGNORE_DUPS # Do not record an event that was just recorded again.
|
|
|
|
|
setopt HIST_IGNORE_ALL_DUPS # Delete an old recorded event if a new event is a duplicate.
|
|
|
|
|
setopt HIST_FIND_NO_DUPS # Do not display a previously found event.
|
|
|
|
|
setopt HIST_IGNORE_SPACE # Do not record an event starting with a space.
|
|
|
|
|
setopt HIST_SAVE_NO_DUPS # Do not write a duplicate event to the history file.
|
2012-04-15 20:21:08 +02:00
|
|
|
setopt HIST_VERIFY # Do not execute immediately upon history expansion.
|
|
|
|
|
setopt HIST_BEEP # Beep when accessing non-existent history.
|
2011-06-01 08:48:26 +02:00
|
|
|
|
2012-04-04 20:03:38 +02:00
|
|
|
# Aliases
|
|
|
|
|
|
|
|
|
|
# Lists the ten most used commands.
|
|
|
|
|
alias history-stat="history . | awk '{print \$2}' | sort | uniq -c | sort -n -r | head"
|
|
|
|
|
|
