diff --git a/general/update_dashboard.sh b/general/update_dashboard.sh index 8a4cd180f8ba22e52b0b90d7754bc1c134c0f74b..12e6ef4b06af8e306baab2a827fc3ea7614f702d 100755 --- a/general/update_dashboard.sh +++ b/general/update_dashboard.sh @@ -7,6 +7,7 @@ git remote set-url origin https://${USER}:${CI_PUSH_TOKEN}@gitlab.demlabs.net/ce git checkout support-4958 versionPatch=$(cat config.pri | grep 'VER_PAT =' | cut -d'=' -f 2) +echo "version patch = $versionPatch" let "versionPatch++" echo "update version patch to $versionPatch" sed -i "s/VER_PAT = \"[0-9]\+\"/VER_PAT = \"$versionPatch\"/g" config.pri