Hacker News new | ask | show | jobs
by chillee 3180 days ago
A big thing that I use is that if you do quick open (`ctrl+p`) and then type `term `, you can then type the terminal number to go to the specified terminal.