install curl

modelix · Nov 2, 2024 · 682b6b3 · 682b6b3
1 parent 1605188
commit 682b6b3
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/src/mps/install.sh b/src/mps/install.sh
@@ -21,8 +21,9 @@ echo "The effective dev container remoteUser's home directory is '$_REMOTE_USER_
 echo "The effective dev container containerUser is '$_CONTAINER_USER'"
 echo "The effective dev container containerUser's home directory is '$_CONTAINER_USER_HOME'"
 
-# download MPS and extract into /mps
+# install packages
 (
+  apt-get update -y
   apt-get -y install --no-install-recommends curl
   mkdir /tmp/mps
   cd /tmp/mps