-
Notifications
You must be signed in to change notification settings - Fork 1.3k
Description
Is your feature request related to a problem? Please describe
Often, I open the gitpod editor and want to copy the ssh connection line, but it's not in the hamburger menu, so I have to open a new tab to go to my workspaces and copy the link.
Describe the behaviour you'd like
I'd like to be able to get the link from inside the gitpod window, maybe in the hamburger menu next to the "Open in VSCode" options.
Describe alternatives you've considered
Alternate 1: it'd be nice if opening a gitpod workspace opened it in a new window, rather than replacing the window. Since vscode is such a heavyweight app that loads slowly, I'm not inclined to just hit back, so I find myself opening a new tab a lot just to go back to the workspace list.
Alternate 2 (true dream solution): If I could specify my terminal emulator in the gitpod vscode plugin and it could run the gitpod tasks in tabs of my emulator (automatically connecting over ssh first) rather than running them in the vscode terminal (which is awful).
Additional context
My current workflow at the beginning of the day is like:
- Open gitpod in the browser, wait for it to completely load (otherwise opening local vscode often fails to connect)
- Once it's up, go to the hamburger menu and select "open in vscode"
- One or two rounds of "Could not connect, retry or close remote?"
- Close all the vscode terminal task windows.
- Open a new tab with gitpod workspaces in it, copy the ssh connection params
- For each tab:
- open a new tab in my terminal emulator for each task (currently Konsole) and paste connection params
- cd to the
/workspace/<reponame>since ssh lands me at the home directory - start the task for that tab (typescript watch or webpack watch etc)
- Close the gitpod browser window
- Make sure not to leave the computer alone for too long because otherwise vscode / ssh will disconnect and I'll have to do it over again.
- Install github copilot in the remote vscode window (vscode plugin not available in the browser)