1818 repo_name :
1919 description : ' Repository name (leave blank for this repo)'
2020 required : false
21+ file_name_part :
22+ description : ' File name part (substring of file name to use)'
23+ required : true
24+ default : individual-modules.zip
2125
2226# A workflow run is made up of one or more jobs that can run sequentially or in parallel
2327jobs :
@@ -57,13 +61,20 @@ jobs:
5761 echo "Repo name specified as '${{github.event.inputs.repo_name}}'"
5862 export REPO=${{github.event.inputs.repo_name}}
5963 fi
64+ if [ -z "${{github.event.inputs.file_name_part}}" ]; then
65+ echo "File name part not set manually, using 'individual-modules.zip'"
66+ export FILE_NAME_PART="individual-modules.zip"
67+ else
68+ echo "File name part specified as '${{github.event.inputs.file_name_part}}'"
69+ export FILE_NAME_PART="${{github.event.inputs.file_name_part}}"
70+ fi
6071 echo "RELEASE=$RELEASE" >> $GITHUB_ENV
6172 echo "REPO=$REPO" >> $GITHUB_ENV
73+ echo "FILE_NAME_PART=$FILE_NAME_PART" >> $GITHUB_ENV
6274 - name : Download the release asset
6375 env :
6476 ACCESS_TOKEN : ${{ secrets.ACCESS_TOKEN }}
6577 run : |
66- export file="individual-modules.zip"
6778 if [ "$RELEASE" = "latest" ]; then
6879 echo "Using latest release"
6980 set +e
@@ -73,15 +84,15 @@ jobs:
7384 echo "curl returned '$result': Bad access token or repo (was '$REPO')"
7485 exit $result
7586 fi
76- asset_id=`cat releases.json | jq ".[0].assets | map(select(.name|test(\"$file \")))[0].id"`
87+ asset_id=`cat releases.json | jq ".[0].assets | map(select(.name|test(\"$FILE_NAME_PART \")))[0].id"`
7788 result="$?"
7889 if [ "$result" -ne 0 ]; then
79- echo "jq returned '$result': No releases or bad file (was '$file ')"
90+ echo "jq returned '$result': No releases or bad file (was '$FILE_NAME_PART ')"
8091 cat releases.json
8192 exit $result
8293 fi
8394 if [ "$asset_id" == "null" ]; then
84- echo "jq returned asset id '$asset_id': No releases or bad file (was '$file ')"
95+ echo "jq returned asset id '$asset_id': No releases or bad file (was '$FILE_NAME_PART ')"
8596 cat releases.json
8697 exit 1
8798 fi
@@ -95,27 +106,26 @@ jobs:
95106 echo "curl returned '$result': Bad access token or repo (was '$REPO')"
96107 exit $result
97108 fi
98- asset_id=`cat releases.json | jq ". | map(select(.tag_name == \"$RELEASE\"))[0].assets | map(select(.name|test(\"$file \")))[0].id"`
109+ asset_id=`cat releases.json | jq ". | map(select(.tag_name == \"$RELEASE\"))[0].assets | map(select(.name|test(\"$FILE_NAME_PART \")))[0].id"`
99110 result="$?"
100111 if [ "$result" -ne 0 ]; then
101- echo "jq returned '$result': Bad release (was '$RELEASE') or bad file (was '$file ')"
112+ echo "jq returned '$result': Bad release (was '$RELEASE') or bad file (was '$FILE_NAME_PART ')"
102113 cat releases.json
103114 exit $result
104115 fi
105116 if [ "$asset_id" == "null" ]; then
106- echo "jq returned asset id '$asset_id': Bad release (was '$RELEASE') or bad file (was '$file ')"
117+ echo "jq returned asset id '$asset_id': Bad release (was '$RELEASE') or bad file (was '$FILE_NAME_PART ')"
107118 cat releases.json
108119 exit 1
109120 fi
110121 set -e
111122 fi
112- echo "Asset id for release $RELEASE file $file is $asset_id"
113- wget -q --header="Authorization: Bearer $ACCESS_TOKEN" --auth-no-challenge --header='Accept:application/octet-stream' https://api.github.com/repos/$REPO/releases/assets/$asset_id -O $file
123+ echo "Asset id for release $RELEASE file $FILE_NAME_PART is $asset_id"
124+ wget -q --header="Authorization: Bearer $ACCESS_TOKEN" --auth-no-challenge --header='Accept:application/octet-stream' https://api.github.com/repos/$REPO/releases/assets/$asset_id -O asset.zip
114125 - name : Examine artifact
115126 run : |
116127 ls
117128 mkdir unpacked
118129 cd unpacked
119- export file="individual-modules.zip"
120- unzip -q ../$file
130+ unzip -q ../asset.zip
121131 find .
0 commit comments