From e2a1cc3efb08786c9b813976890ad49803f3b736 Mon Sep 17 00:00:00 2001
From: JohnnyRevay <65253638+jan-revay@users.noreply.github.com>
Date: Mon, 16 Oct 2023 23:07:13 +0200
Subject: [PATCH] Update prelude.sh

---
 prelude.sh | 6 ++++--
 1 file changed, 4 insertions(+), 2 deletions(-)

diff --git a/prelude.sh b/prelude.sh
index 9c04796c4..f275f14cc 100644
--- 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