diff --git a/install.sh b/install.sh index ff3e65b..0bd6120 100755 --- a/install.sh +++ b/install.sh @@ -37,7 +37,7 @@ function assert_supported_distro { distro=$(grep -oP '^ID=\K(.*)' /etc/os-release) >&2 echo "unsupported GNU/Linux distribution: $distro" >&2 echo 'only debian-like OR arch-like currently supported' - exit + return fi } @@ -54,14 +54,14 @@ function execute_miaou_lib { function assert_bash { if [[ $SHELL != bash ]]; then >&2 echo "you are running on SHELL=$SHELL. Bash expected!" - exit + return fi } function sudo_root { if [[ "$UID" -ne 0 ]] && ! sudo -vp 'SUDO privilege required: '; then >&2 echo "canceled" - exit + return fi } ## MAIN