Update prelude.sh

jan-revay · Oct 16, 2023 · e2a1cc3 · e2a1cc3
1 parent 7db54de
commit e2a1cc3
Showing 1 changed file with 4 additions and 2 deletions.
diff --git a/prelude.sh b/prelude.sh
@@ -45,7 +45,7 @@ if [[ "${__INITPC_PRELUDE_SOURCED__}" != "true" ]]; then
     # TODO - finish
     #
 
-    function distro_is {
+    function distro_is (
     # TODO see:
     # https://www.freedesktop.org/software/systemd/man/os-release.html
     # https://0pointer.de/blog/projects/os-release.html
@@ -62,5 +62,7 @@ if [[ "${__INITPC_PRELUDE_SOURCED__}" != "true" ]]; then
             echo "Error: The OS is ${PRETTY_NAME} but should be $1! Aborting."
             exit ${EXIT_INCORRECT_PLATFORM}
         fi
-    }
+
+        exit ${EXIT_SUCCESS}
+    )
 fi