3 ms·
YMMV, but I've used both quite a bit and I find the shortcut in the article much more convenient than Ctrl-R, at least if I'm actually sure of the first charact
by andrewflnr 7y ago
YMMV, but I've used both quite a bit and I find the shortcut in the article much more convenient than Ctrl-R, at least if I'm actually sure of the first characters of the command. They're not exclusive, anyway. :)