Как сделать разницу между .wxm (wxMaxima) и .c файлами в Linux Mint?

Несколько дней назад я установил wxMaxima на свой ноутбук.

Проблема в том, что файлы с расширением .wxm , которые используются с wxMaxima , идентифицируются как исходные файлы C. Поэтому, когда я дважды нажимаю на такой файл, он открывает текстовый редактор.

Я попытался щелкнуть правой кнопкой мыши по файлу .wxm и изменить программу по умолчанию, но также изменил программу по умолчанию для расширений .c чего я не хочу.

Суть: как определить расширение .wxm чтобы быть другого типа, чем расширения .c ?

Важно: я предполагаю, что среда рабочего стола или файловый менеджер запускает программу на основе типа файла mime.

Интересно, что моя команда file вернула ASCII C program text для файла .wxm . Определенно, это было неправильно, и я исправил это следующим образом:

Предположим, что ваш домашний каталог /home/user

  1. Создайте /home/user/.magic со следующим содержимым:

     0 string /*\ [wxMaxima\ batch\ file wxMaxima batch file !:mime text/x-wxmaxima-batch 
  2. Скомпилируйте магию, запустив file -C -m /home/user/.magic – он создаст файл /home/user/.magic.mgc

  3. Убедитесь, что команда file работает так, как ожидалось:

     user@host$ file wxmaxima_file.wxm wxmaxima_file.wxm: wxMaxima batch file user@host$ file -i wxmaxima_file.wxm wxmaxima_file.wxm: text/x-wxmaxima-batch; charset=us-ascii 
  4. Настройте среду рабочего стола или диспетчер файлов для запуска wxMaxima на основе типа text/x-wxmaxima-batch mime. (Точный способ, как это сделать, зависит от такой среды рабочего стола или диспетчера файлов. Поэтому, если вы не знаете таких деталей, вы можете задать другой вопрос.)