@@ -80,18 +80,22 @@ jobs:
80
80
echo '${{ inputs.inputs }}' | jq -c '.[]' | while read -r input; do
81
81
src=$(echo "$input" | jq -r '.src')
82
82
83
+ append_git_rev=$(echo "${input}" | jq 'if .append_git_rev_to_version == true then 1 else 0 end')
84
+
85
+ gh_pages_html=$(echo "${input}" | jq -e -r '.gh_pages_html') || gh_pages_html=""
86
+ gh_pages_pdf=$(echo "${input}" | jq -e -r '.gh_pages_pdf') || gh_pages_pdf=""
87
+
83
88
src_dirname=$(dirname "${src}")
84
89
src_basename=$(basename "${src}")
85
90
86
- if echo "${input }" | jq -e '.append_git_rev_to_version' > /dev/null ; then
91
+ if [ "${append_git_rev }" -eq 1 ] ; then
87
92
echo "Appending git rev to version string in ${src}"
88
93
89
94
# `version: 1.3` --> `version: 1.3 (Git commit xyz)`
90
95
# `version: "2.0"` --> `version: "2.0 (Git commit xyz)"`
91
96
sed -i -r "/^---$/,/^---$/s/^(version: \"?[^\"]*)(\"?)$/\1 (Git commit ${commit_hash})\2/g" "${src}"
92
97
fi
93
98
94
- gh_pages_html=$(echo "${input}" | jq -e -r '.gh_pages_html') || gh_pages_html=""
95
99
if [ -n "${gh_pages_html}" ]; then
96
100
echo "Rendering ${src} to gh-pages/${gh_pages_html}/index.html"
97
101
@@ -111,7 +115,6 @@ jobs:
111
115
mv "${src_dirname}/index.html" "gh-pages/${gh_pages_html}/"
112
116
fi
113
117
114
- gh_pages_pdf=$(echo "${input}" | jq -e -r '.gh_pages_pdf') || gh_pages_pdf=""
115
118
if [ -n "${gh_pages_pdf}" ]; then
116
119
# [parent dir name]_[filename sans extension]_[git commit hash].pdf
117
120
pdf_name="$(basename "${src_dirname}")_${src_basename%.*}_${commit_hash}.pdf"
0 commit comments