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
