Fix the development container
parent
aca267b444
commit
3277b1187d
|
@ -4,15 +4,15 @@ FROM ubuntu:"$UBUNTU_TAG"
|
||||||
ENV LANG=C.UTF-8
|
ENV LANG=C.UTF-8
|
||||||
RUN \
|
RUN \
|
||||||
apt-get update && \
|
apt-get update && \
|
||||||
apt-get install --assume-yes curl gcc git libgmp-dev make sudo
|
apt-get install --assume-yes curl gcc git libgmp-dev libtinfo-dev make sudo
|
||||||
|
|
||||||
ARG GHCUP_VERSION=0.1.17.2
|
ARG GHCUP_VERSION=0.1.17.3
|
||||||
RUN \
|
RUN \
|
||||||
curl --output /usr/local/bin/ghcup "https://downloads.haskell.org/~ghcup/$GHCUP_VERSION/x86_64-linux-ghcup-$GHCUP_VERSION" && \
|
curl --output /usr/local/bin/ghcup "https://downloads.haskell.org/~ghcup/$GHCUP_VERSION/x86_64-linux-ghcup-$GHCUP_VERSION" && \
|
||||||
chmod +x /usr/local/bin/ghcup && \
|
chmod +x /usr/local/bin/ghcup && \
|
||||||
ghcup --version
|
ghcup --version
|
||||||
|
|
||||||
ARG USER_NAME=me
|
ARG USER_NAME=haskell
|
||||||
RUN \
|
RUN \
|
||||||
useradd --create-home --shell "$( which bash )" "$USER_NAME" && \
|
useradd --create-home --shell "$( which bash )" "$USER_NAME" && \
|
||||||
echo "$USER_NAME ALL=(ALL) NOPASSWD: ALL" | tee "/etc/sudoers.d/$USER_NAME"
|
echo "$USER_NAME ALL=(ALL) NOPASSWD: ALL" | tee "/etc/sudoers.d/$USER_NAME"
|
||||||
|
|
|
@ -0,0 +1,5 @@
|
||||||
|
{
|
||||||
|
"recommendations": [
|
||||||
|
"haskell.haskell"
|
||||||
|
]
|
||||||
|
}
|
|
@ -0,0 +1,12 @@
|
||||||
|
packages: .
|
||||||
|
|
||||||
|
allow-newer:
|
||||||
|
, butcher:base
|
||||||
|
, data-tree-print:base
|
||||||
|
, multistate:base
|
||||||
|
|
||||||
|
-- https://github.com/lspitzner/czipwith/pull/2
|
||||||
|
source-repository-package
|
||||||
|
type: git
|
||||||
|
location: https://github.com/mithrandi/czipwith
|
||||||
|
tag: b6245884ae83e00dd2b5261762549b37390179f8
|
Loading…
Reference in New Issue