¿Cómo puedo convertir un mapa de píxeles portátil muy grande ( ppm
) en un archivo png
en MacOS?
Tengo un enorme ppm
imagen en mi ordenador. El archivo es de ~70 GB y necesito convertirlo en un png, lo que lo convertiría en ~100 MB. He liberado suficiente espacio (>70 GB) en mi máquina para completar la conversión, pero estoy teniendo algunos problemas.
Lo que he probado
-
Abrir la imagen en la vista previa y exportar a png
La vista previa se niega a mostrar la imagen y en su lugar sólo muestra un cuadrado negro. Cuando intento exportar me dice que el archivo exportado tendrá cero bytes. Así que... no hay nada que hacer.
-
Utilice ImageMagick para convertir el archivo desde el terminal
Esto realmente se ejecuta y trata de convertir el archivo, pero surgen problemas después de un minuto de cálculo. Primero, mi ordenador se congela y después de uno o dos minutos se reinicia debido a un kernel panic.