Índice
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:
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
- ubuntudriver »» Cómo Cambiar la Codificación de un Fichero en Linux y Mac OS X
¿Has visto algún error?: Por favor, ayúdame a corregirlo contactando conmigo o comentando abajo.