install wget

modelix · Nov 2, 2024 · ea7165b · ea7165b
1 parent 0f3289c
commit ea7165b
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/src/mps/install.sh b/src/mps/install.sh
@@ -24,7 +24,8 @@ echo "The effective dev container containerUser's home directory is '$_CONTAINER
 # install packages
 (
   apt-get update -y
-  apt-get -y install --no-install-recommends wget
+  apt-get -y install --no-install-recommends wget ca-certificates
+  update-ca-certificates
   mkdir /tmp/mps
   cd /tmp/mps
   wget "https://download.jetbrains.com/mps/${MPS_MAJOR_VERSION}/MPS-${MPS_VERSION}.tar.gz"