rpms/edk2
7
0
Fork 0
Code Issues Pull Requests Releases Activity

update-tarball.sh: allow passing hardcoded date and hash

Browse Source
This commit is contained in:
Paolo Bonzini 2017-11-14 15:07:51 +01:00
parent 498742e649
commit ede8d7f7db
1 changed files with 21 additions and 12 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

15
update-tarball.sh
View File

@ -1,4 +1,4 @@
#!/bin/sh #!/bin/bash
user="tianocore" user="tianocore"
repo="edk2" repo="edk2"
@ -8,21 +8,30 @@ uri="https://github.com/${user}/${repo}"
api="${uri/github.com/api.github.com/repos}" api="${uri/github.com/api.github.com/repos}"
tar="${uri/github.com/codeload.github.com}/legacy.tar.gz" tar="${uri/github.com/codeload.github.com}/legacy.tar.gz"
if test $# -ge 1; then
hash=$1
short=$1
else
hash=$(curl -s "${api}/git/refs/heads/${branch}" | grep '"sha"' | cut -d'"' -f4) hash=$(curl -s "${api}/git/refs/heads/${branch}" | grep '"sha"' | cut -d'"' -f4)
if test "$hash" = ""; then if test "$hash" = ""; then
echo "# failed to fetch $branch hash" echo "# failed to fetch $branch hash"
exit 1 exit 1
fi fi
short=$(echo $hash | sed -e 's/^\(.......\).*/\1/') short=$(echo $hash | sed -e 's/^\(.......\).*/\1/')
fi
if test $# = 2; then
date=$2
else
date=$(curl -s "${api}/git/commits/$hash" | awk ' date=$(curl -s "${api}/git/commits/$hash" | awk '
/"committer"/ { c=1 } /"committer"/ { c=1 }
/"date"/ { if (c) { print } } /"date"/ { if (c) { print } }
' | cut -d'"' -f4) ' | cut -d'"' -f4)
date="${date%T*}" date="${date%T*}"
date="${date//-/}" date="${date//-/}"
fi
name="${repo}-${date}-${short}.tar.gz" name="${repo}-${date}-${short}.tar.xz"
if test -f "$name"; then if test -f "$name"; then
echo "# exists: $name" echo "# exists: $name"
@ -41,5 +50,5 @@ echo
echo "# cleanup ..." echo "# cleanup ..."
rm -vf ${repo}-*.tar* rm -vf ${repo}-*.tar*
echo "# fetching $name ..." echo "# fetching $name ..."
curl "$tar/$hash" > "$name" curl "$tar/$hash" | zcat | xz -9e > "$name"
exit 0 exit 0