diff --git a/scripts/update/update b/scripts/update/update index b26a22a..aa418f7 100755 --- a/scripts/update/update +++ b/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}"