Update updater.sh

Co-Authored-By: earthlng <earthlng@users.noreply.github.com>
This commit is contained in:
claustromaniac 2018-11-26 14:13:37 +00:00 committed by GitHub
parent d9881896b7
commit 0e9811d8cd
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -147,7 +147,7 @@ readIniFile () { # expects one argument: absolute path of profiles.ini
echo -e "\n"
if [[ $REPLY =~ ^(0|[1-9][0-9]*)$ ]]; then
grep '^\[Profile'${REPLY} -A 4 "$inifile" | grep -v '^\[Profile'${REPLY} > $tfile
if [[ "$?" != "0" ]]; then
if [ !$? ]; then
echo "Profile${REPLY} does not exist!" && exit 1
fi
fi