Don't start insel

Dockerfile

@@ -2,12 +2,6 @@ FROM jlesage/baseimage-gui:ubuntu-22.04-v4
 
 ARG DEBIAN_FRONTEND=noninteractive
 
-RUN apt-get update && \
-    apt-get install curl \ qpdfview yaru-theme-icon \
-      --no-install-recommends -y && \
-    rm -rf /var/lib/apt/lists/* && \
-    apt-get clean
-
 ################################################################################
 #                                    Config                                    #
 ################################################################################
@@ -25,6 +19,7 @@ ENV WEB_AUDIO=0
 ################################################################################
 RUN apt-get update && \
     apt-get install tzdata make \
+            curl qpdfview yaru-theme-icon \
             pluma qalculate-gtk \
             pcmanfm gtk2-engines-pixbuf adwaita-qt\
             --no-install-recommends -y && \

rootfs/startapp.sh

@@ -10,9 +10,9 @@ set -u # Complains if a variable is undefined
 export HOME=/config
 cd $HOME
 
-# NOTE: Home Required for Java preferences. Set by startup script to /dev/null otherwise
-# NOTE: https://askubuntu.com/a/957184/743264 to avoid "GLX version 1.3 or higher is required""
-export _JAVA_OPTIONS="-Duser.home=$HOME -Dprism.order=sw"
+# # NOTE: Home Required for Java preferences. Set by startup script to /dev/null otherwise
+# # NOTE: https://askubuntu.com/a/957184/743264 to avoid "GLX version 1.3 or higher is required""
+# export _JAVA_OPTIONS="-Duser.home=$HOME -Dprism.order=sw"
 
 ########################
 #     Config files     #
@@ -28,45 +28,45 @@ fi
 #   Documents folder   #
 ########################
 
-mkdir -p /config/Documents/insel.work/inselUB/doc
-mkdir -p /config/Documents/insel.work/inselUB/resources
-mkdir -p /config/Documents/insel.work/inselUB/src
+# mkdir -p /config/Documents/insel.work/inselUB/doc
+# mkdir -p /config/Documents/insel.work/inselUB/resources
+# mkdir -p /config/Documents/insel.work/inselUB/src
 
 #cp userblocks makefile
-cp /usr/local/insel/makefile /config/Documents/insel.work/inselUB/resources/makefile
+# cp /usr/local/insel/makefile /config/Documents/insel.work/inselUB/resources/makefile
 
 ########################
 #    Welcome files     #
 ########################
 
 # If volume was imported from another user
-rm -f /config/Documents/insel.work/hello_*.txt
-
-
-echo "Welcome to Web-INSEL, ${STUDENT}!
-
-You can save your models in this folder.
-
-Here are some common symbols which you could copy-paste, e.g. for diagrams:
-
-€ $ % & [ ] { } ² ³ / \\ °
-Α α, Β β, Γ γ, Δ δ, Ε ε, Ζ ζ,
-Η η, Θ θ, Ι ι, Κ κ, Λ λ, Μ μ,
-Ν ν, Ξ ξ, Ο ο, Π π, Ρ ρ, Σ σ/ς,
-Τ τ, Υ υ, Φ φ, Χ χ, Ψ ψ, Ω ω
-" > /config/Documents/insel.work/hello_${STUDENT}.txt
-
-echo "Here is a folder shared between all users.
-
-You can upload files to this folder at https://simstadt.hft-stuttgart.de/sence-mmb/upload/
-
-Every day, models will be saved to https://simstadt.hft-stuttgart.de/download/Misc/sence_insel_models.zip
-" > /config/Documents/shared/README.md
-
-if [ ! -f /config/Documents/insel.work/01_sum.vseit ]; then
-  echo "Adding example model"
-  cp /usr/share/01_sum.vseit /config/Documents/insel.work/
-fi
+# rm -f /config/Documents/insel.work/hello_*.txt
+
+
+# echo "Welcome to Web-INSEL, ${STUDENT}!
+#
+# You can save your models in this folder.
+#
+# Here are some common symbols which you could copy-paste, e.g. for diagrams:
+#
+# € $ % & [ ] { } ² ³ / \\ °
+# Α α, Β β, Γ γ, Δ δ, Ε ε, Ζ ζ,
+# Η η, Θ θ, Ι ι, Κ κ, Λ λ, Μ μ,
+# Ν ν, Ξ ξ, Ο ο, Π π, Ρ ρ, Σ σ/ς,
+# Τ τ, Υ υ, Φ φ, Χ χ, Ψ ψ, Ω ω
+# " > /config/Documents/insel.work/hello_${STUDENT}.txt
+#
+# echo "Here is a folder shared between all users.
+#
+# You can upload files to this folder at https://simstadt.hft-stuttgart.de/sence-mmb/upload/
+#
+# Every day, models will be saved to https://simstadt.hft-stuttgart.de/download/Misc/sence_insel_models.zip
+# " > /config/Documents/shared/README.md
+#
+# if [ ! -f /config/Documents/insel.work/01_sum.vseit ]; then
+#   echo "Adding example model"
+#   cp /usr/share/01_sum.vseit /config/Documents/insel.work/
+# fi
 
 ########################
 #    Start programs    #
@@ -74,7 +74,7 @@ fi
 
 rm -rf /config/log
 #rm -rf /config/xdg
-exec pcmanfm /config/Documents/insel.work &
-insel -v
-exec insel_8
-#exec xterm -e bash
+exec pcmanfm /config/ &
+# insel -v
+# exec insel_8
+exec xterm -e bash