From 8f5f67ad446a84d85585ee472f956558cc393f88 Mon Sep 17 00:00:00 2001 From: claustromaniac <20734810+claustromaniac@users.noreply.github.com> Date: Mon, 26 Nov 2018 14:03:06 +0000 Subject: [PATCH] Update updater.sh Co-Authored-By: earthlng --- updater.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/updater.sh b/updater.sh index 0ebf41d..04ab8b6 100755 --- a/updater.sh +++ b/updater.sh @@ -145,7 +145,7 @@ readIniFile () { # expects one argument: absolute path of profiles.ini echo '' read -p 'Select the profile number ( 0 for Profile0, 1 for Profile1, etc ) : ' -n 1 -r echo -e "\n" - if [[ $REPLY =~ ^[0-9]$ ]]; then + if [[ $REPLY =~ ^(0|[1-9][0-9]*)$ ]]; then grep '^\[Profile'${REPLY} -A 4 "$inifile" | grep -v '^\[Profile'${REPLY} > $tfile if [[ "$?" != "0" ]]; then echo "Profile${REPLY} does not exist!" && exit 1