Autor

Alejandro Alcalde

Graduado en Ingeniería Informática en la ETSIIT, Granada. Creador de El Baúl del Programador

Más artículos de Alejandro Alcalde

¿Has visto algún error?: Por favor, ayúdame a corregirlo contactando conmigo.

En la facultad solemos usar wxMaxima en las prácticas de las asignturas. Hace poco al intentar abrir un fichero wxm me encontré con el siguiente error:

wxMaxima encontró un error durante la carga ó Failed to convert file to Unicode.

Que indica que wxmaxima ha encontrado un error intentando convertir el fichero a Unicode (utf-8). Para solucionar el problema deberemos convertir manualmente el fichero a utf-8. Basta con seguir los siguientes pasos:


¿Te gusta el blog? Ayúdame a seguir escribiendo


Resolver el error ‘wxMaxima encontró un error durante la carga’

Usaremos el programa file para determinar el tipo de fichero:

$ file -i Pr06\ -\ Grafos.wxm
Pr06 - Grafos.wxm: text/x-pascal; charset=iso-8859-1

Así hemos obtenido la codificación actual del archivo, la cual nos hará falta para el siguiente paso.

Ahora necesitamos hacer una conversión de formato usando el comando iconv de la siguiente forma:

iconv -f ISO_8859-1 -t UTF-8 -o ficheroSalida ficheroEntrada

Con esto ya tendremos el fichero codificado en utf-8 y wxmaxmima lo abrirá sin problemas.

Para terminar os dejo un script que hice para convertir todos los archivos .wxm de una sola vez. El resultado será un fichero con el mismo nombre que el original pero de extensión utf8.wxm:

IFS='
'
for i in `ls *.wxm`
do
        echo -e "iconv -f ISO_8859-1 -t UTF-8 -o \"`basename "$i" .wxm`.utf8.wxm\" \"$i\""
        iconv -f ISO_8859-1 -t UTF-8 -o "`basename "$i" .wxm`.utf8.wxm" "$i"
done
IFS=' '

Hay que decir, sin embargo, que es posible ahorrarse todo esto si se guardaran todos los ficheros de wxmaxima con la extensión .wxmx.

Referencias

Categorías: