timamsk/vscodium
1
0
Fork 0
mirror of https://github.com/VSCodium/vscodium.git synced 2026-04-25 20:30:16 +10:00
Code Issues Packages Projects Releases Wiki Activity

fix: get dirname from repository [skip ci]

Browse Source
This commit is contained in:
Baptiste Augrain
2023-04-02 15:55:31 +02:00
parent f985c78aaa
commit 974619f5d8
1 changed files with 3 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files

5
update_version.sh
View File

@@ -40,6 +40,7 @@ fi
# `timestamp` is $(node -e 'console.log(Date.now())') # `timestamp` is $(node -e 'console.log(Date.now())')
# `sha256hash` in <filename>.sha256 # `sha256hash` in <filename>.sha256
REPOSITORY_NAME="${VERSIONS_REPOSITORY/*\//}"
URL_BASE="https://github.com/${ASSETS_REPOSITORY}/releases/download/${RELEASE_VERSION}" URL_BASE="https://github.com/${ASSETS_REPOSITORY}/releases/download/${RELEASE_VERSION}"
generateJson() { generateJson() {
@@ -103,7 +104,7 @@ updateLatestVersion() {
# init versions repo for later commiting + pushing the json file to it # init versions repo for later commiting + pushing the json file to it
# thank you https://www.vinaygopinath.me/blog/tech/commit-to-master-branch-on-github-using-travis-ci/ # thank you https://www.vinaygopinath.me/blog/tech/commit-to-master-branch-on-github-using-travis-ci/
git clone "https://github.com/${VERSIONS_REPOSITORY}.git" git clone "https://github.com/${VERSIONS_REPOSITORY}.git"
cd versions cd "${REPOSITORY_NAME}" || { echo "'${REPOSITORY_NAME}' dir not found"; exit 1; }
git config user.email "$( echo "${GITHUB_USERNAME}" | awk '{print tolower($0)}' )-ci@not-real.com" git config user.email "$( echo "${GITHUB_USERNAME}" | awk '{print tolower($0)}' )-ci@not-real.com"
git config user.name "${GITHUB_USERNAME} CI" git config user.name "${GITHUB_USERNAME} CI"
git remote rm origin git remote rm origin
@@ -150,7 +151,7 @@ else # linux
updateLatestVersion updateLatestVersion
fi fi
cd versions cd "${REPOSITORY_NAME}" || { echo "'${REPOSITORY_NAME}' dir not found"; exit 1; }
git pull origin master # in case another build just pushed git pull origin master # in case another build just pushed
git add . git add .