mirror of
https://github.com/godotengine/godot.git
synced 2024-11-21 03:18:37 +08:00
b87a232668
- `certs` and `editor_fonts` go to `thirdparty` - `dist` and `scripts` go to a new `misc` folder - `collada` and `doc` go to `tools/editor` The next step will be to rename `tools/editor` to `editor` directly, but this will be done at the right time to avoid breaking too many PRs.
6 lines
226 B
Bash
6 lines
226 B
Bash
convert -resize 32x32 ../../icon.svg icon32.ico
|
|
convert -resize 32x32 ../../icon.svg icon32.icns
|
|
for s in 16 24 32 64 96 128 256; do convert -resize ${s}x$s ../../icon.svg icon$s.png; done
|
|
zip icons.zip icon*.png
|
|
rm icon*.png
|