From 57b3a382cedc89738ecf95d497b1453a6fb5fb12 Mon Sep 17 00:00:00 2001 From: Christoph Date: Sat, 19 Oct 2019 02:05:22 +0200 Subject: [PATCH] install_mysql.sh: minor changes. --- install_mysql.sh | 11 ++++++++++- 1 file changed, 10 insertions(+), 1 deletion(-) diff --git a/install_mysql.sh b/install_mysql.sh index 302c924..bc392b7 100755 --- a/install_mysql.sh +++ b/install_mysql.sh @@ -1080,7 +1080,16 @@ if ! $PARALLEL_INSTALLATION ; then fi if [[ -z "$MYSQL_INIT_SCRIPT" ]] && [[ -z "$MYSQLD_SERVICE_FILE" ]] && $UPDATE_MYSQL ; then - fatal "Kein start/stop Sevice File/ Init Script gefunden.." + error "Kein start/stop Sevice File/ Init Script gefunden.." + + echononl "continue anyway [yes/no]: " + read OK + OK="$(echo "$OK" | tr '[:upper:]' '[:lower:]')" + while [[ "$OK" != "yes" ]] && [[ "$OK" != "no" ]] ; do + echononl "Wrong entry! - repeat [yes/nno]: " + read OK + done + [[ $OK = "yes" ]] || fatal "Abbruch durch User" fi fi # if ! $PARALLEL_INSTALLATION ; then