diff options
| author | Philipp Hagemeister <phihag@phihag.de> | 2013-01-12 18:05:19 +0100 |
|---|---|---|
| committer | Philipp Hagemeister <phihag@phihag.de> | 2013-01-12 18:07:31 +0100 |
| commit | bb28998920148e0d847333518451e046b21c2da6 (patch) | |
| tree | 21d2d23e02d75224d787c53322a551c95ae376d1 | |
| parent | fbc5f99db98de9707b0cb72d060a777cec2c0af4 (diff) | |
fix location of updates_key in devscripts/release
| -rwxr-xr-x | devscripts/release.sh | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/devscripts/release.sh b/devscripts/release.sh index 94f229f0e..afd3fb16c 100755 --- a/devscripts/release.sh +++ b/devscripts/release.sh @@ -69,7 +69,7 @@ ROOT=$(pwd) cd build/gh-pages ORIGIN_URL=$(git config --get remote.origin.url) "$ROOT/devscripts/gh-pages/add-version.py" $version - "$ROOT/devscripts/gh-pages/sign-versions.py" < updates_key.pem + "$ROOT/devscripts/gh-pages/sign-versions.py" < "$ROOT/updates_key.pem" "$ROOT/devscripts/gh-pages/generate-download.py" "$ROOT/devscripts/gh-pages/update-copyright.py" git add *.html *.html.in update @@ -78,7 +78,7 @@ ROOT=$(pwd) read -p "Is it good, can I push? (y/n) " -n 1 if [[ ! $REPLY =~ ^[Yy]$ ]]; then exit 1; fi echo - git push $ORIGIN_URL gh-pages + git push "$ORIGIN_URL" gh-pages ) rm -r build |