Show build version

scripts/update/update

@@ -43,6 +43,15 @@ if [[ "${update_type}" == "repo" ]]; then
   mkdir -p "${repo_path}"
   git clone --single-branch --branch "${branch}" "https://github.com/${repo}.git" "${repo_path}"
 
+  # Patch version to show development build
+  commit=$(git --git-dir "${repo_path}/.git" rev-parse --short HEAD)
+  mv "${repo_path}/info.json" "${repo_path}/info.json.orig"
+  jq \
+    --arg commit "${commit}" \
+    '.version = .version + "-build-" + $commit' \
+    "${repo_path}/info.json.orig" \
+    > "${repo_path}/info.json"
+
   # Now hand over to the path updater
   update_type="path"
   update_path="${repo_path}"