a
/
code-server
1
0
Fork 0
Code Issues Pull Requests Projects Releases Wiki Activity

gen_icons.sh: Document pwa-icon vs favicon having different design

This commit is contained in:
Anmol Sethi 2021-01-09 01:45:08 -05:00
parent 693fdbefb4
commit fa2aed6d46
No known key found for this signature in database
GPG Key ID: 8CEF1878FF10ADEB
1 changed files with 3 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
ci/dev/gen_icons.sh
View File

@ -14,6 +14,9 @@ main() {
# -background defaults to white but we want it transparent.
# https://imagemagick.org/script/command-line-options.php#background
convert -quiet -background transparent -resize 256x256 favicon.svg favicon.ico
# We do not generate the pwa-icon from the favicon as they are slightly different
# designs and sizes.
# See favicon.afdesign and #2401 for details on the differences.
convert -quiet -background transparent -resize 192x192 pwa-icon.png pwa-icon-192.png
convert -quiet -background transparent -resize 512x512 pwa-icon.png pwa-icon-512.png