diff options
| author | Cristian Consonni <cristian@balist.es> | 2018-07-13 13:14:15 +0200 |
|---|---|---|
| committer | Marc Cornellà <marc.cornella@live.com> | 2018-07-13 13:14:15 +0200 |
| commit | d3e3b2dd0d7c7574d2a47c0d3a0d79583c58b2b8 (patch) | |
| tree | ddd9d00fdd50512ee7c6873adb2baae969831a8b /templates | |
| parent | f88396e3271b2459e92dfef37ed773fd01c446b8 (diff) | |
| download | zsh-d3e3b2dd0d7c7574d2a47c0d3a0d79583c58b2b8.tar.gz zsh-d3e3b2dd0d7c7574d2a47c0d3a0d79583c58b2b8.tar.bz2 zsh-d3e3b2dd0d7c7574d2a47c0d3a0d79583c58b2b8.zip | |
Add support for custom timestamp format in history (#6770)
Diffstat (limited to 'templates')
| -rw-r--r-- | templates/zshrc.zsh-template | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/templates/zshrc.zsh-template b/templates/zshrc.zsh-template index bba2d370d..5f98fb211 100644 --- a/templates/zshrc.zsh-template +++ b/templates/zshrc.zsh-template @@ -48,7 +48,10 @@ ZSH_THEME="robbyrussell" # Uncomment the following line if you want to change the command execution time # 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" # Would you like to use another custom folder than $ZSH/custom? |