From 05fa94bbc3677aa66e31ed32583346a7b0bafe3b Mon Sep 17 00:00:00 2001
From: Christopher Schnick <st141923@stud.uni-stuttgart.de>
Date: Wed, 14 Dec 2022 20:34:01 +0100
Subject: [PATCH] Make bash the default shell

---
 .../main/java/io/xpipe/core/process/ShellTypes.java  | 12 ++----------
 1 file changed, 2 insertions(+), 10 deletions(-)

diff --git a/core/src/main/java/io/xpipe/core/process/ShellTypes.java b/core/src/main/java/io/xpipe/core/process/ShellTypes.java
index c47d3ef3..31201e9b 100644
--- a/core/src/main/java/io/xpipe/core/process/ShellTypes.java
+++ b/core/src/main/java/io/xpipe/core/process/ShellTypes.java
@@ -20,22 +20,14 @@ public class ShellTypes {
     public static final ShellType SH = new Sh();
     public static final ShellType BASH = new Bash();
 
-    public static ShellType getRecommendedDefault() {
-        if (System.getProperty("os.name").startsWith("Windows")) {
+    public static ShellType getPlatformDefault() {
+        if (OsType.getLocal().equals(OsType.WINDOWS)) {
             return CMD;
         } else {
             return BASH;
         }
     }
 
-    public static ShellType getPlatformDefault() {
-        if (System.getProperty("os.name").startsWith("Windows")) {
-            return CMD;
-        } else {
-            return SH;
-        }
-    }
-
     public static ShellType[] getWindowsShells() {
         return new ShellType[] {CMD, POWERSHELL};
     }