Sign Up
Log In
Log In
or
Sign Up
Places
All Projects
Status Monitor
Collapse sidebar
home:Ledest:erlang:23
erlang
3049-otp-Add-configuration-for-gitpod-and-DevCo...
Overview
Repositories
Revisions
Requests
Users
Attributes
Meta
File 3049-otp-Add-configuration-for-gitpod-and-DevContainer.patch of Package erlang
From cf17282453126d7efbd2f99b019fb453ade02d5e Mon Sep 17 00:00:00 2001 From: Lukas Larsson <lukas@erlang.org> Date: Tue, 21 Dec 2021 11:10:12 +0100 Subject: [PATCH 09/11] otp: Add configuration for gitpod and DevContainer --- .devcontainer/devcontainer.json | 32 ++++++++++++++++++++++++++++++++ .gitpod.yml | 7 +++++++ HOWTO/DEVELOPMENT.md | 22 ++++++++++++++++++++++ erlang_ls.config | 10 ++++++++++ 4 files changed, 71 insertions(+) create mode 100644 .devcontainer/devcontainer.json create mode 100644 .gitpod.yml create mode 100644 erlang_ls.config diff --git a/.devcontainer/devcontainer.json b/.devcontainer/devcontainer.json new file mode 100644 index 0000000000..0e990b715a --- /dev/null +++ b/.devcontainer/devcontainer.json @@ -0,0 +1,32 @@ +// For format details, see https://aka.ms/devcontainer.json. For config options, see the README at: +// https://github.com/microsoft/vscode-dev-containers/tree/v0.194.0/containers/cpp +{ + "name": "Erlang/OTP", + "build": { + "dockerfile": "../.github/dockerfiles/Dockerfile.ubuntu-base", + "context": "../.github", + "args": { + "BASE": "mcr.microsoft.com/vscode/devcontainers/base:focal", + "USER": "vscode", + "GROUP": "vscode" + } + }, + "runArgs": [ "--cap-add=SYS_PTRACE", "--security-opt", "seccomp=unconfined"], + + // Set *default* container specific settings.json values on container create. + "settings": {}, + + // Add the IDs of extensions you want installed when the container is created. + "extensions": [ + "ms-vscode.cpptools", + "erlang-ls.erlang-ls" ], + + // Use 'forwardPorts' to make a list of ports inside the container available locally. + // "forwardPorts": [], + + // Use 'postCreateCommand' to run commands after the container is created. + // "postCreateCommand": "gcc -v", + + // Comment out connect as root instead. More info: https://aka.ms/vscode-remote/containers/non-root. + "remoteUser": "vscode" +} diff --git a/.gitpod.yml b/.gitpod.yml new file mode 100644 index 0000000000..74a5155ec3 --- /dev/null +++ b/.gitpod.yml @@ -0,0 +1,7 @@ +image: + file: .github/dockerfiles/Dockerfile.ubuntu-base + context: .github +vscode: + extensions: + - ms-vscode.cpptools + - erlang-ls.erlang-ls diff --git a/erlang_ls.config b/erlang_ls.config new file mode 100644 index 0000000000..a695bbc92a --- /dev/null +++ b/erlang_ls.config @@ -0,0 +1,10 @@ +apps_dirs: + - "lib/*" + - "erts/preloaded" +include_dirs: + - "lib/*/src" + - "lib/*/include" + - "erts/preloaded/src" +diagnostics: + enabled: + - bound_var_in_pattern -- 2.31.1
Locations
Projects
Search
Status Monitor
Help
OpenBuildService.org
Documentation
API Documentation
Code of Conduct
Contact
Support
@OBShq
Terms
openSUSE Build Service is sponsored by
The Open Build Service is an
openSUSE project
.
Sign Up
Log In
Places
Places
All Projects
Status Monitor