... | ... | @@ -6,6 +6,7 @@ |
|
|
* Open the folder containing the code
|
|
|
* CPP or Python (use Ctrl+X Ctrl+F)
|
|
|
* Take a look and edit ``.devcontainer/devcontainer.json``
|
|
|
* Change UID value if not set to 1000 : use `getenv passwd yourlogin | cut -d: -f3`
|
|
|
* Click on the cogwheel icon in the bottom-left corner and select "Command Palette..." (or menu "View->Command Palette..."), then type "remote-container reopen"
|
|
|
* This will reload the VS Code window and wait for the container to come up
|
|
|
* This operation takes some time: an image will be built by VS Code according to ``.devcontainer/Dockerfile``, then a VS Code server will be installed automatically
|
... | ... | |