- Home
- Categorie
- Coding e Sistemistica
- PHP
- Da gif a jpg
-
Da gif a jpg
Ciao, io ho una cartella piena di immagini .gif è vorrei trasformarle in .jpg come posso fare??
-
con il comando "convert" sotto linux
-
Ciao Ale90,
potresti utilizzare la funzione glob sulla directory di cui convertire le immagini, che restituirebbe un array con i nomi dei files:[php]
glob("nomecartella/*.gif");
[/php]Tramite un ciclo potresti poi utilizzare le librerie GD per convertire il formato.Ciao!