diff options
| author | Christian Duerr <chrisduerr@users.noreply.github.com> | 2018-11-12 14:46:35 +0000 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2018-11-12 14:46:35 +0000 |
| commit | 65033163327f3fc6ad4f318680d72660094a6e51 (patch) | |
| tree | 175bfb5548808595f23b71e368d02faf30a1227a | |
| parent | f182afafe5c3e28205d2f45361d689b99f936955 (diff) | |
| download | alacritty-65033163327f3fc6ad4f318680d72660094a6e51.tar.gz alacritty-65033163327f3fc6ad4f318680d72660094a6e51.zip | |
Fix failing github releases
The manpage was incorrectly zipped up with the `-z` option, which
doesn't exist and created a 0-size file. Since Github does not accept
0-size files, this lead to the complete release deployment failing.
Changing this to use the `-c` option should fix this problem by creating
a proper non-zero size gzip file.
| -rwxr-xr-x | ci/before_deploy.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/ci/before_deploy.sh b/ci/before_deploy.sh index f30d3015..04793032 100755 --- a/ci/before_deploy.sh +++ b/ci/before_deploy.sh @@ -57,7 +57,7 @@ fi # Convert and add manpage if it changed if [ -n "$(git diff $prev_tag HEAD alacritty.man)" ]; then - gzip -z "./alacritty.man" > "./target/deploy/alacritty.1.gz" + gzip -c "./alacritty.man" > "./target/deploy/alacritty.1.gz" fi # Offer extra files if they changed |