From 53bc4f2e216c64cf1933878741ae44adc5233139 Mon Sep 17 00:00:00 2001 From: Taylor Fausak Date: Sun, 11 Apr 2021 19:08:53 +0000 Subject: [PATCH] Set up a development container --- .devcontainer/Dockerfile | 4 ++++ .devcontainer/devcontainer.json | 5 +++++ 2 files changed, 9 insertions(+) create mode 100644 .devcontainer/Dockerfile create mode 100644 .devcontainer/devcontainer.json diff --git a/.devcontainer/Dockerfile b/.devcontainer/Dockerfile new file mode 100644 index 0000000..7416a35 --- /dev/null +++ b/.devcontainer/Dockerfile @@ -0,0 +1,4 @@ +FROM haskell:9.0.1 +ARG USER=haskell +RUN useradd --create-home --shell "$( which bash )" "$USER" +USER "$USER" diff --git a/.devcontainer/devcontainer.json b/.devcontainer/devcontainer.json new file mode 100644 index 0000000..601cce0 --- /dev/null +++ b/.devcontainer/devcontainer.json @@ -0,0 +1,5 @@ +{ + "build": { + "dockerfile": "Dockerfile" + } +}