We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent 0e464cb commit 3066273Copy full SHA for 3066273
misc/build.func
@@ -42,11 +42,11 @@ error_handler() {
42
echo -e "\n$error_message\n"
43
}
44
45
-# Check if the shell is using bash
+# Check if the current shell is using bash
46
shell_check() {
47
- if [[ "$(basename "$SHELL")" != "bash" ]]; then
+ if [[ "$(ps -p $$ -o comm=)" != "bash" ]]; then
48
clear
49
- msg_error "Your default shell is currently not set to Bash. To use these scripts, please switch to the Bash shell."
+ msg_error "Your default shell is not bash. Please report this to our github issues or discord."
50
echo -e "\nExiting..."
51
sleep 2
52
exit
0 commit comments