4 ms·
zsh has "repeat" for that, and with "setopt short_repeat" (added in the last release) you can do: repeat 10; mycmd
by Beltalowda 4y ago
zsh has "repeat" for that, and with "setopt short_repeat" (added in the last release) you can do:
repeat 10; mycmd