diff options
author | Lukas Larsson <lukas@erlang.org> | 2021-12-21 11:10:12 +0100 |
---|---|---|
committer | Lukas Larsson <lukas@erlang.org> | 2022-01-21 10:30:25 +0100 |
commit | cf17282453126d7efbd2f99b019fb453ade02d5e (patch) | |
tree | 8b1ca95cc053c358258b792ce32a8045e928f927 /HOWTO | |
parent | 4ee58064ace3194376426073c8a9e5edcfbb5a90 (diff) | |
download | erlang-cf17282453126d7efbd2f99b019fb453ade02d5e.tar.gz |
otp: Add configuration for gitpod and DevContainer
Diffstat (limited to 'HOWTO')
-rw-r--r-- | HOWTO/DEVELOPMENT.md | 22 |
1 files changed, 22 insertions, 0 deletions
diff --git a/HOWTO/DEVELOPMENT.md b/HOWTO/DEVELOPMENT.md index 0124a17f5d..7c691d7e26 100644 --- a/HOWTO/DEVELOPMENT.md +++ b/HOWTO/DEVELOPMENT.md @@ -41,6 +41,7 @@ with. 7. [Github Actions](#github-actions) 1. [Debugging github actions failures](#debugging-github-actions-failures) 8. [Using Docker](#using-docker) + 1. [Gidpod.io or VSCode dev container](#gitpod-io-or-vscode-dev-container) ## Short version @@ -520,3 +521,24 @@ docker run --init -v $PWD/make_test_dir:/buildroot/otp/lib/stdlib/make_test_dir The Common Test logs will be placed in `make_test_dir/ct_logs`. +### Gidpod.io or VSCode dev container + +This git repository is also prepared to run using [Gitpod](https://gitpod.io/) or +[VSCode Devcontainer](https://code.visualstudio.com/docs/remote/containers). + +The support for these environments is very early so it will be a bit unstable. + +To access the gitpod for Erlang/OTP you just navigate to +[https://gitpod.io/#https://github.com/erlang/otp](https://gitpod.io/#https://github.com/erlang/otp). + +When using a VSCode dev container, you only need to open [VSCode](https://code.visualstudio.com/) +in the Erlang/OTP repository and you should get a popup that asks if you want to +run in a dev container. + +The gitpod and dev container both use the base ubuntu image built in [Using Docker](#using-docker). +So it should be possible to run all tests inside the containers with all test +dependencies available. + +*WARNING*: Using VSCode dev container on macOS can be very slow because of limitations +in the filesystem. So I would recommend either using gitpod or just work locally without +the dev container on macOS. |