Skip to content

Commit 38cb55c

Browse files
committed
Add devcontainer configuration
1 parent a419fa4 commit 38cb55c

File tree

2 files changed

+35
-0
lines changed

2 files changed

+35
-0
lines changed

.devcontainer/Dockerfile

Lines changed: 10 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,10 @@
1+
# See here for image contents: https://github.com/microsoft/vscode-dev-containers/tree/v0.187.0/containers/ubuntu/.devcontainer/base.Dockerfile
2+
3+
# [Choice] Ubuntu version: bionic, focal
4+
ARG VARIANT="focal"
5+
FROM mcr.microsoft.com/vscode/devcontainers/base:0-${VARIANT}
6+
7+
RUN apt-get update && export DEBIAN_FRONTEND=noninteractive \
8+
&& apt-get -y install --no-install-recommends gcc libc6-dev libffi-dev libgmp-dev make xz-utils zlib1g-dev libtinfo-dev
9+
10+
RUN curl -sSL https://get.haskellstack.org/ | sh

.devcontainer/devcontainer.json

Lines changed: 25 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,25 @@
1+
// For format details, see https://aka.ms/devcontainer.json. For config options, see the README at:
2+
// https://github.com/microsoft/vscode-dev-containers/tree/v0.187.0/containers/ubuntu
3+
{
4+
"name": "Ubuntu",
5+
"build": {
6+
"dockerfile": "Dockerfile",
7+
// Update 'VARIANT' to pick an Ubuntu version: focal, bionic
8+
"args": { "VARIANT": "focal" }
9+
},
10+
11+
// Set *default* container specific settings.json values on container create.
12+
"settings": {},
13+
14+
// Add the IDs of extensions you want installed when the container is created.
15+
"extensions": [],
16+
17+
// Use 'forwardPorts' to make a list of ports inside the container available locally.
18+
// "forwardPorts": [],
19+
20+
// Use 'postCreateCommand' to run commands after the container is created.
21+
// "postCreateCommand": "uname -a",
22+
23+
// Comment out connect as root instead. More info: https://aka.ms/vscode-remote/containers/non-root.
24+
"remoteUser": "vscode"
25+
}

0 commit comments

Comments
 (0)