1#!/usr/bin/env bash 2 3convert php.svg -size 512x512 php.bmp 4 5for I in 16 24 32 48 64 128 256; 6do 7 convert php.bmp -scale ${I}x${I} php-ico-${I}.png; 8done 9 10convert -adjoin php-ico-* php.ico 11 12rm -f php-ico-*.png php.bmp 13
