... | @@ -345,6 +345,13 @@ When connected to remote host, install the extensions by going to the extensions |
... | @@ -345,6 +345,13 @@ When connected to remote host, install the extensions by going to the extensions |
|
|
|
|
|

|
|

|
|
|
|
|
|
|
|
**If the receiving host does not have access to internet this will fail**, an alternative is to tell vscode to forward the local extensions by:
|
|
|
|
|
|
|
|
1) Open the command palette <kbd>Ctrl</kbd> + <kbd>Shift</kbd> + <kbd>P</kbd>
|
|
|
|
2) Type `Preferences: Open Settings (UI)`
|
|
|
|
3) Find `Remote: Download Extensions Locally` and check it
|
|
|
|
4) You may need to restart your VSCode server (on Command pallete: `Remote-SSH: Kill current VS Code server`)
|
|
|
|
|
|
## Useful Extensions
|
|
## Useful Extensions
|
|
|
|
|
|
This is a list of curated extensions that might be usefull for productivity. For more information on how to use them, please refer to their links.
|
|
This is a list of curated extensions that might be usefull for productivity. For more information on how to use them, please refer to their links.
|
... | | ... | |