Make bash the default shell

This commit is contained in:
Christopher Schnick 2022-12-14 20:34:01 +01:00
parent 12bb95c0f4
commit 05fa94bbc3

View file

@ -20,22 +20,14 @@ public class ShellTypes {
public static final ShellType SH = new Sh(); public static final ShellType SH = new Sh();
public static final ShellType BASH = new Bash(); public static final ShellType BASH = new Bash();
public static ShellType getRecommendedDefault() { public static ShellType getPlatformDefault() {
if (System.getProperty("os.name").startsWith("Windows")) { if (OsType.getLocal().equals(OsType.WINDOWS)) {
return CMD; return CMD;
} else { } else {
return BASH; return BASH;
} }
} }
public static ShellType getPlatformDefault() {
if (System.getProperty("os.name").startsWith("Windows")) {
return CMD;
} else {
return SH;
}
}
public static ShellType[] getWindowsShells() { public static ShellType[] getWindowsShells() {
return new ShellType[] {CMD, POWERSHELL}; return new ShellType[] {CMD, POWERSHELL};
} }