3 ms·
#7 is one of my favorite zsh features though, even though it doesn't seem like that big of a deal if you haven't used it.
by wtetzner 6y ago
#7 is one of my favorite zsh features though, even though it doesn't seem like that big of a deal if you haven't used it.