As documented here:
- Open User Settings
- Add
DOCKERD_ARGS := { "remap-user": "1000" }(e.g., with scope*/*).
- Open the Gitpod URL associated with this repo
- Select
Terminalas editor.
Self-contained repo: CDE config for Gitpod workspace based on Docker-Coq image using Emacs in (browser) terminal.
As documented here:
DOCKERD_ARGS := { "remap-user": "1000" } (e.g., with scope */*).Terminal as editor.Self-contained repo: CDE config for Gitpod workspace based on Docker-Coq image using Emacs in (browser) terminal.
https://erikmd.github.io/gitpod-workspace-emacs-nw/