Social Icons

Mostrando entradas con la etiqueta wxMaxima. Mostrar todas las entradas
Mostrando entradas con la etiqueta wxMaxima. Mostrar todas las entradas

sábado, 4 de febrero de 2012

"Abrir con" no ofrece a wxMaxima para asociarlo a los ficheros .wxm en Ubuntu 11.10

Introducción

Es muy frecuente encontrar que la gente abre los fichero .wxm con wxMaxima y no con gedit. Sin embargo en Ubuntu 11.10, parece imposible asociar wxMaxima con la extensión .wxm. Hemos encontrado la forma de salvar esta dificultad y queremos compartirla con nuestros lectores.

Incluir wxMaxima entre las aplicaciones de "Abrir con"

El problema es que wxMaxima no es una aplicación entre las ofertadas para asociar a ficheros, aunque estos sean ficheros con extensión .wxm. Para solventarlo haremos lo siguiente desde el terminal (Ctrl + Alt + t):

sudo gedit /usr/share/applications/wxmaxima.desktop

y ahora cambiamos la línea

Exec=wxmaxima

por

Exec=wxmaxima %U

y guardamos los cambios. Desde ahora wxMaxima está incluida entre las aplicaciones de "Abrir con"

Asociación de wxMaxima a los ficheros de extensión .wxm

Para asociar wxMaxima a los ficheros de extensión .wxm buscaremos uno de estos ficheros y:

  • Hacemos un clic sobre el
  • Pulsamos el botón derecho del ratón
  • Seleccionamos y pulsamos "Propiedades"
  • Pulsamos en la solapa "Abrir con"
  • Pulsamos "Mostrar otras aplicaciones"
  • Seleccionamos "wxMaxima"
  • Pulsamos en "Establecer como predeterminada"
  • Pulsamos en "cerrar"

Ahora, al hacer doble clic sobre un fichero .wxm se abrirá con wxMaxima

Y ... esto es todo por hoy