work on issue #1421

.devcontainer/Dockerfile

@@ -1,102 +1,3 @@
-FROM debian:bullseye as base
-# This .devcontainer stuff is shamelessly copied from github.com/vzarytovskii/haskell-dev-env
-ARG USERNAME=vscode
-ARG GHC_VERSION=8.10.7
-ARG STACK_VERSION=2.7.5
-ARG STACK_RESOLVER=lts-18.28
-ARG CABAL_VERSION=3.6.2.0
-ARG HLS_VERSION=1.8.0.0
-ARG LLVM_VERSION=12
-
-ENV USERNAME=${USERNAME} \
-    USER_UID=1000 \
-    USER_GID=1000 \
-    DEBIAN_FRONTEND=noninteractive \
-    LANG=C.UTF8 \
-    GHC_VERSION=${GHC_VERSION} \
-    STACK_RESOLVER=${STACK_RESOLVER} \
-    STACK_VERSION=${STACK_VERSION} \
-    CABAL_VERSION=${CABAL_VERSION} \
-    HLS_VERSION=${HLS_VERSION} \
-    LLVM_VERSION=${LLVM_VERSION}
-
-RUN ulimit -n 8192
-
-RUN export LANG=C.UTF8
-RUN apt-get update
-RUN apt-get install -y --no-install-recommends apt-utils bash build-essential ca-certificates curl gcc git gnupg libffi-dev libffi7 libgmp-dev libgmp-dev libgmp10 libicu-dev libncurses-dev libncurses5 libnuma1 libnuma-dev libtinfo5 lsb-release make procps software-properties-common sudo wget xz-utils z3 zlib1g-dev
-
-RUN wget -O /tmp/llvm.sh https://apt.llvm.org/llvm.sh && chmod +x /tmp/llvm.sh && /tmp/llvm.sh ${LLVM_VERSION} && rm /tmp/llvm.sh
-
-RUN groupadd --gid $USER_GID $USERNAME && \
-    useradd -ms /bin/bash -K MAIL_DIR=/dev/null --uid $USER_UID --gid $USER_GID -m $USERNAME && \
-    echo $USERNAME ALL=\(root\) NOPASSWD:ALL > /etc/sudoers.d/$USERNAME && \
-    chmod 0440 /etc/sudoers.d/$USERNAME
-
-USER ${USER_UID}:${USER_GID}
-WORKDIR /home/${USERNAME}
-ENV PATH="/home/${USERNAME}/.local/bin:/home/${USERNAME}/.cabal/bin:/home/${USERNAME}/.ghcup/bin:$PATH"
-
-RUN echo "export PATH=$PATH" >> /home/$USERNAME/.profile
-
-ENV BOOTSTRAP_HASKELL_NONINTERACTIVE=yes \
-    BOOTSTRAP_HASKELL_NO_UPGRADE=yes
-
-FROM base as tooling
-
-RUN curl --proto '=https' --tlsv1.2 -sSf https://get-ghcup.haskell.org | sh
-
-# Set the GHC version.
-RUN ghcup install ghc ${GHC_VERSION} && ghcup set ghc ${GHC_VERSION}
-
-# Install cabal-iinstall
-RUN ghcup install cabal ${CABAL_VERSION} && ghcup set cabal ${CABAL_VERSION}
-
-# Update Cabal.
-RUN cabal update && cabal new-install cabal-install
-
-# Configure cabal
-RUN cabal user-config update -f && \
-    sed -i 's/-- ghc-options:/ghc-options: -haddock/g' ~/.cabal/config
-
-# Install stack
-RUN ghcup install stack ${STACK_VERSION} && ghcup set stack ${STACK_VERSION}
-
-# Set system-ghc, install-ghc and resolver for stack.
-RUN ((stack ghc -- --version 2>/dev/null) || true) && \
-    # Set global defaults for stack.
-    stack config --system-ghc set system-ghc true --global && \
-    stack config --system-ghc set install-ghc false --global && \
-    stack config --system-ghc set resolver $STACK_RESOLVER
-
-# Set global custom defaults for stack.
-RUN printf "ghc-options:\n  \"\$everything\": -haddock\n" >> /home/${USERNAME}/.stack/config.yaml
-
-# Install hls
-RUN ghcup install hls ${HLS_VERSION} && ghcup set hls ${HLS_VERSION}
-
-FROM tooling as packages
-
-# Install global packages.
-# Versions are pinned, since we don't want to accidentally break anything (by always installing latest).
-RUN cabal install --haddock-hoogle -v \
-    haskell-dap-0.0.15.0 \
-    ghci-dap-0.0.19.0 \
-    haskell-debug-adapter-0.0.37.0 \
-    hlint-3.2.7 \
-    apply-refact-0.9.3.0 \
-    retrie-1.1.0.0 \
-    stylish-haskell-0.13.0.0 \
-    hoogle-5.0.18.3 \
-    ormolu-0.1.3.1 \
-    liquidhaskell-0.8.10.2
-
-# Generate hoogle db
-RUN hoogle generate && stack hoogle
-
-# Set up the dependencies for Ampersand
-# RUN cd /workspaces/Ampersand && stack build --dependencies-only .
-
-ENV DEBIAN_FRONTEND=dialog
+FROM ampersandtarski/ampersand-devcontainer
 
 ENTRYPOINT ["/bin/bash"]

ReleaseNotes.md

@@ -4,7 +4,7 @@
 * [Issue #1315](https://github.com/AmpersandTarski/Ampersand/issues/1315) Documentation update: landing pages for target audience, governance info for the Ampersand project added.
 * Align Ampersand jargon: use the word Term instead of Expression in the documentation and error messages.
 * [Project about documentation](https://github.com/orgs/AmpersandTarski/projects/3)Combined documentation of several repositories into a [single site](https://ampersandtarski.github.io/).
-* Minor update of the devcontainer.
+* [Issue #1421] Update of the devcontainer.
 * [Issue #1369](https://github.com/AmpersandTarski/Ampersand/issues/1369) update of CI/CD stuff.
 
 ## v4.7.1 (1 September 2022)