minor: renamings

This commit is contained in:
EV21 committed 2022-07-01 13:07:31 +02:00
1 parent 02820af50d
commit dec9cdcae3
2 files changed
+17 -18

No files matched your search

+3 -3
View File
@@ -67,8 +67,8 @@ function verify_file
fi
}
## this is a helper function to compare two versions as a "lower than" operator
function version_lt
## version_lower_than A B returns whether A < B
function version_lower_than
{
test "$(echo "$@" |
tr " " "n" |
@@ -86,7 +86,7 @@ function main
echo "Your $APP_NAME is already up to date."
echo "You are running $APP_NAME $LOCAL_VERSION"
else
if version_lt "$LOCAL_VERSION" "$LATEST_VERSION"
if version_lower_than "$LOCAL_VERSION" "$LATEST_VERSION"
then
echo "There is a new version available."
echo "Doing update from $LOCAL_VERSION to $LATEST_VERSION"