|  | setopt extended_history       # Give timestamp and time to run in history file | 
						
						
							|  | setopt share_history          # Share history between different shell instances | 
						
						
							|  | setopt inc_append_history     # Add commands to history as entered, not at shell exit | 
						
						
							|  | setopt hist_ignore_all_dups   # Ignore duplicates | 
						
						
							|  | setopt hist_find_no_dups      # Ignore duplicates when searching | 
						
						
							|  | setopt hist_reduce_blanks     # Hide blank lines | 
						
						
							|  | setopt hist_ignore_space      # Ignore commands in history beginning with a space | 
						
						
							|  | setopt hist_expire_dups_first # Expire duplicate entries first | 
						
						
							|  | setopt hist_verify            # Do not submit history searches before allowing for editing | 
						
						
							|  | 
 | 
						
						
							|  | #HISTCONTRO=ignoreboth:erasedups # Ignore duplicates in the history and commands starting with space | 
						
						
							|  | HISTSIZE=10000 | 
						
						
							|  | SAVEHIST=10000 | 
						
						
							|  | HISTFILE=${ZDOTDIR:-$HOME}/.zsh_history
 |