enter for all results · esc to close
github.comtool
Directory bookmarks for the shell
Shell › Command-Line Productivity > Directory Navigation: “Directory bookmarks for the shell”