Update updater.sh

This commit is contained in:
earthlng 2018-11-26 14:20:00 +00:00 committed by GitHub
parent 51695d55da
commit 451b066b84
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -185,7 +185,7 @@ getProfilePath () {
exit 1
fi
readIniFile "$ini" # updates PROFILE_PATH or exits on error
else
#else
# PROFILE_PATH already set by user with -p
fi
}