From a36532c7e1a4eb4f596b108f6673105c5bfe3f84 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 | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/getting-started/install.md b/getting-started/install.md
index 0930e27..50bd20d 100644
--- a/getting-started/install.md
+++ b/getting-started/install.md
@@ -15,4 +15,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>