diff options
| author | Aaron LI <aly@aaronly.me> | 2019-10-03 11:53:02 +0800 |
|---|---|---|
| committer | Aaron LI <aly@aaronly.me> | 2019-10-03 11:54:04 +0800 |
| commit | d2a4672e74290fc8a0662fb459e8e268b72a0fdf (patch) | |
| tree | eb8d5cd0ca786688184cf3e5be380702c4a2cb34 /_zsh/10-param.zsh | |
| parent | b7c96f96473856ec0aaa2ffdd4454a2fca6c7735 (diff) | |
| download | dotfiles-d2a4672e74290fc8a0662fb459e8e268b72a0fdf.tar.bz2 | |
zsh: Merge zsh/* configs into zshrc
Meanwhile, drop some unused configurations ...
Diffstat (limited to '_zsh/10-param.zsh')
| -rw-r--r-- | _zsh/10-param.zsh | 13 |
1 files changed, 0 insertions, 13 deletions
diff --git a/_zsh/10-param.zsh b/_zsh/10-param.zsh deleted file mode 100644 index 99f0942..0000000 --- a/_zsh/10-param.zsh +++ /dev/null @@ -1,13 +0,0 @@ -# -# zsh/param.zsh -# see zshparam(1) -# - -# Ask only if the top of the listing would scroll off the screen -LISTMAX=0 - -# Report consuming time statistics if user+system greater than 60 seconds -REPORTTIME=60 - -# Format of process time reports with the `time' keyword -TIMEFMT="%J %U user %S system %P cpu %MM memory %*E total" |