4 ms·This is a nice tool. Other tools I recommend are FZF or ripgrepby weitzj 6y agoThis is a nice tool. Other tools I recommend are FZF or ripgrep