diff options
Diffstat (limited to 'ci/before_deploy.sh')
| -rwxr-xr-x | ci/before_deploy.sh | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/ci/before_deploy.sh b/ci/before_deploy.sh index a311518a..0c2b937a 100755 --- a/ci/before_deploy.sh +++ b/ci/before_deploy.sh @@ -72,6 +72,9 @@ if [ -n "$(git diff $prev_tag HEAD extra/alacritty.man)" ]; then gzip -c "./extra/alacritty.man" > "./target/deploy/alacritty.1.gz" fi +# Rename Alacritty logo to match .desktop file +cp "./extra/logo/alacritty-term.svg" "./target/deploy/Alacritty.svg" + # Offer various other files for file in "${aux_files[@]}"; do cp $file "./target/deploy/" |