Creare favicon

Le favicon sono le icone che vedete nella barra degli indirizzi, di  fianco appunto all'indirizzo e sono di solito file con estensione .ico. Presa una immagine per averla in questo formato, usate il comando

ppmtowinicon -output favicon.ico favicon.pnm

Nel caso il file originario non sia di dimensione 16×16, potete usare convert per ridimensionarlo tramite

convert -resize 16×16! file_da_ridimensionare.png file_ridimensionato.png

Nel caso invece siano presenti delle trasparenze, potete aggiungere uno sfondo bianco usando sempre il magico convert

convert -size 16×16 xc:white file_da_elaborare.png -composite file_elaborato.png 

A questo punto aggiungete nella sezione head della vostra antagonista paginaweb

<link rel="icon" href="favicon.ico" />

 e godetevi l'effetto che fa!!!

Messaggio promozionale: sulla mia page di autistici ho inserito un abbozzo di tutorial per usare i GObject…