From 17bad2b85bd8ef6ad6891346e27eec5d862bd323 Mon Sep 17 00:00:00 2001
From: Christophe <chris-ch@users.noreply.github.com>
Date: Fri, 29 Dec 2023 17:47:23 +0100
Subject: [PATCH] Update Dockerfile

---
 Dockerfile | 19 +++++++++++--------
 1 file changed, 11 insertions(+), 8 deletions(-)

diff --git a/Dockerfile b/Dockerfile
index 316b279..a323c3f 100644
--- a/Dockerfile
+++ b/Dockerfile
@@ -38,6 +38,7 @@ RUN \
         libblas-dev \
         xz-utils \
         ssh \
+        vim \
         build-essential
 
 # install gpg keys
@@ -53,17 +54,10 @@ RUN \
     chmod +x /usr/bin/ghcup && \
     ghcup config set gpg-setting GPGStrict
 
-ARG VERSION_GHC=9.8.1
+ARG VERSION_GHC=9.6.3
 ARG VERSION_CABAL=latest
 ARG VERSION_STACK=latest
 
-# install GHC, cabal and stack
-RUN \
-    ghcup -v install ghc --isolate /usr/local --force ${VERSION_GHC} && \
-    ghcup -v install cabal --isolate /usr/local/bin --force ${VERSION_CABAL} && \
-    ghcup -v install stack --isolate /usr/local/bin --force ${VERSION_STACK} && \
-    ghcup install hls
-
 ARG USER_NAME=haskell
 ARG USER_UID=1000
 ARG USER_GID=$USER_UID
@@ -81,3 +75,12 @@ RUN groupadd docker && \
     usermod -aG docker ${USER_NAME}
 
 USER ${USER_NAME}
+
+WORKDIR /home/${USER_NAME}
+
+# install GHC, cabal and stack
+RUN \
+    ghcup -v install ghc --force ${VERSION_GHC} && \
+    ghcup -v install cabal --force ${VERSION_CABAL} && \
+    ghcup -v install stack --force ${VERSION_STACK} && \
+    ghcup install hls