Customization/ohmyzsh
1
0
Fork 0
mirror of https://github.com/ohmyzsh/ohmyzsh.git synced 2024-11-14 01:40:09 +00:00
Code Releases Activity

Add support for custom timestamp format in history (#6770)

Browse source
This commit is contained in:
Cristian Consonni 2018-07-13 13:14:15 +02:00 committed by Marc Cornellà
parent f88396e327
commit d3e3b2dd0d
2 changed files with 6 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

3
lib/history.zsh
View file

@ -23,7 +23,8 @@ case $HIST_STAMPS in
"mm/dd/yyyy") alias history='omz_history -f' ;; "mm/dd/yyyy") alias history='omz_history -f' ;;
"dd.mm.yyyy") alias history='omz_history -E' ;; "dd.mm.yyyy") alias history='omz_history -E' ;;
"yyyy-mm-dd") alias history='omz_history -i' ;; "yyyy-mm-dd") alias history='omz_history -i' ;;
*) alias history='omz_history' ;; "") alias history='omz_history' ;;
*) alias history="omz_history -t '$HIST_STAMPS'" ;;
esac esac
## History file configuration ## History file configuration

5
templates/zshrc.zsh-template
View file

@ -48,7 +48,10 @@ ZSH_THEME="robbyrussell"
# Uncomment the following line if you want to change the command execution time # Uncomment the following line if you want to change the command execution time
# stamp shown in the history command output. # stamp shown in the history command output.
# The optional three formats: "mm/dd/yyyy"|"dd.mm.yyyy"|"yyyy-mm-dd" # You can set one of the optional three formats:
# "mm/dd/yyyy"|"dd.mm.yyyy"|"yyyy-mm-dd"
# or set a custom format using the strftime function format specifications,
# see 'man strftime' for details.
# HIST_STAMPS="mm/dd/yyyy" # HIST_STAMPS="mm/dd/yyyy"
# Would you like to use another custom folder than $ZSH/custom? # Would you like to use another custom folder than $ZSH/custom?