Hacker News new | ask | show | jobs
by vips7L 540 days ago
Yeah it’s the general same concept though. Ctrl + P and type or shift + shift and type the thing you want.
1 comments

On Mac, it's Cmd+o for types, Cmd+shift+o for actual file names.