Add distro_is function stub

WSL_Ubuntu_22.04/run_all.sh

@@ -4,12 +4,13 @@
 
 . ../prelude.sh
 
+# TODO use distro_is function from prelude.sh everywhere
 # TODO Ubuntu 23.04 works, hence it can be allowed, make this official
 # TODO try enabling 2x in general - this did not work - some packages are not available on 20.04
 # TODO try enabling 22.04 + (ideally by explicit naming)
 if [[ "$(lsb_release --description --short)" != 'Ubuntu 22.04'* &&
 "$(lsb_release --description --short)" != 'Ubuntu 23.04'* ]]; then
-    echo 'Error: The base image does not match "Ubuntu 22.04"! Aborting.' >&2
+    echo 'Error: The base image does not match "Ubuntu 22.04"! Aborting.'
     exit ${EXIT_INCORRECT_PLATFORM}
 fi
 

prelude.sh

@@ -39,8 +39,18 @@ if [[ "${__INITPC_PRELUDE_SOURCED__}" != "true" ]]; then
     # TODO - consider even better error code number (guaranteed to be unique)
     # apt-get install returns 100 if a package was not found... 100 is not a good error code. >IMPORTANT<
     # shellcheck disable=SC2034
-    readonly EXIT_INCORRECT_PLATFORM=100
+    readonly EXIT_INCORRECT_PLATFORM=99
     # shellcheck disable=SC2034
     readonly EXIT_INVALID_ARGUMENT=10
     # TODO - finish
+    #
+
+    function distro_is {
+        source /etc/os-release
+
+        if [[ "${PRETTY_NAME}" != "$1" ]]; then
+            echo "Error: The OS is ${PRETTY_NAME} but should be $1! Aborting."
+            exit ${EXIT_INCORRECT_PLATFORM}
+        fi
+    }
 fi