diff options
| author | Ramón M. Gómez <ramongomez@us.es> | 2020-01-22 14:02:15 +0100 |
|---|---|---|
| committer | Ramón M. Gómez <ramongomez@us.es> | 2020-01-22 14:02:15 +0100 |
| commit | ecdb637fb6ac482ac1ccff013b265b32ec3c9a75 (patch) | |
| tree | ccdedc34ff2b9858c30ac2dec89e6e06c678b52f | |
| parent | 1a76afa5dacd57aa0a68ef8ca77b94f8ea87bc92 (diff) | |
#943: Fix bug when comparing the number of releases available for updating.
| -rwxr-xr-x | installer/opengnsys_update.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/installer/opengnsys_update.sh b/installer/opengnsys_update.sh index 0ad98de6..99a51b96 100755 --- a/installer/opengnsys_update.sh +++ b/installer/opengnsys_update.sh @@ -205,7 +205,7 @@ function chooseVersion() RELEASES+=( "$BRANCH" ) DOWNLOADS+=( "$API_URL" ) # Show selection menu, if needed. - if [ ${#RELEASES} > 1 ]; then + if [ ${#RELEASES[@]} -gt 1 ]; then echo "Installed version: $INSTVERSION $INSTRELEASE" echo "Versions available for update (\"$BRANCH\" is the latest development branch):" PS3="Enter a number: " |