From aed6f17ef9e400fb660db443bd631e07622ecf2f Mon Sep 17 00:00:00 2001
From: Johannes Schmitt <johannes.schmitt@rub.de>
Date: Fri, 14 Feb 2025 12:03:53 +0100
Subject: [PATCH] Show "Other" side for unknown operating systems

---
 getting-started/install.md | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/getting-started/install.md b/getting-started/install.md
index 0930e27..2395414 100644
--- a/getting-started/install.md
+++ b/getting-started/install.md
@@ -14,5 +14,7 @@ title: Installation Instructions
     }
     else if (navigator.userAgent.includes("Macintosh")){
         window.location.replace("{{site.baseurl}}/getting-started/install-mac"+target);
+    else {
+        window.location.replace("{{site.baseurl}}/getting-started/install-generic"+target);
     }
 </script>