Răsfoiți Sursa

Set REPORTTIME for zsh

Thomas Dy 9 ani în urmă
părinte
comite
e7f72ccdf5
1 a modificat fișierele cu 1 adăugiri și 0 ștergeri
  1. 1 0
      .zsh/config.zsh

+ 1 - 0
.zsh/config.zsh

@@ -11,6 +11,7 @@ zstyle ':completion:*' menu select
 zstyle ':completion:*:default'         list-colors ${(s.:.)LS_COLORS}
 zstyle ':completion:*:default'         list-colors ${(s.:.)LS_COLORS}
 zstyle ':completion:*' matcher-list 'm:{a-zA-Z}={A-Za-z}'
 zstyle ':completion:*' matcher-list 'm:{a-zA-Z}={A-Za-z}'
 
 
+REPORTTIME=5
 HISTFILE="${HOME}/.zhistory"
 HISTFILE="${HOME}/.zhistory"
 SAVEHIST=10000
 SAVEHIST=10000