Comment puis-je convertir une très grande carte pixel portable ( ppm
) dans un fichier png
sur MacOS ?
J'ai un énorme ppm
image sur mon ordinateur. Le fichier fait ~70 Go et je dois le convertir en png, ce qui lui ferait ~100 Mo. J'ai libéré suffisamment d'espace (>70 Go) sur mon ordinateur pour effectuer la conversion mais je rencontre quelques problèmes.
Ce que j'ai essayé
-
Ouvrir l'image dans l'aperçu et exporter en png
L'aperçu refuse d'afficher l'image et ne montre qu'un carré noir. Lorsque j'essaie d'exporter, il me dit que le fichier exporté sera de zéro octet. Donc... pas de chance.
-
Utilisez ImageMagick pour convertir le fichier à partir du terminal
Il s'exécute et tente de convertir le fichier, mais des problèmes surviennent après environ une minute de calcul. Tout d'abord, mon ordinateur se fige puis redémarre après une ou deux minutes en raison d'une panique du noyau.