Importante: Suponho que o ambiente de área de trabalho ou o gerenciador de arquivos execute um programa com base no tipo de arquivo mime.
Curiosamente, meu comando file retornou ASCII C program text para o arquivo .wxm . Definitivamente, isso não estava correto, e eu corrigi isso da seguinte maneira:
Suponha que o seu diretório pessoal seja /home/user
-
Crie
/home/user/.magiccom o seguinte conteúdo:0 string /*\ [wxMaxima\ batch\ file wxMaxima batch file !:mime text/x-wxmaxima-batch -
Compile a mágica executando
file -C -m /home/user/.magic- ela criará/home/user/.magic.mgcfile -
Verifique se o comando
filefunciona conforme o esperado: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 -
Configure o ambiente de área de trabalho ou o gerenciador de arquivos para executar o wxMaxima com base no tipo
text/x-wxmaxima-batchmime. (A maneira exata de como fazer isso depende de um ambiente de área de trabalho ou gerenciador de arquivos. Portanto, se você não souber esses detalhes, poderá fazer outra pergunta.)