Como fazer diferença entre os arquivos .wxm (wxMaxima) e .c no Linux Mint?

2

Instalei wxMaxima no meu laptop há alguns dias.

O problema é que os arquivos com a extensão .wxm , que são usados com wxMaxima , são identificados como arquivos de origem C. Portanto, quando clico duas vezes em tal arquivo, ele abre meu editor de texto.

Eu tentei clicar com o botão direito do mouse em um arquivo .wxm e alterar o programa padrão - mas isso também mudou o programa padrão para .c extensions - algo que não quero que aconteça.

A linha inferior: como eu defino a extensão .wxm para ser de um tipo diferente de .c extensões?

    
por elyashiv 24.11.2012 / 19:36

1 resposta

5

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

  1. Crie /home/user/.magic com o seguinte conteúdo:

    0       string  /*\ [wxMaxima\ batch\ file      wxMaxima batch file
    !:mime  text/x-wxmaxima-batch
    
  2. Compile a mágica executando file -C -m /home/user/.magic - ela criará /home/user/.magic.mgc file

  3. Verifique se o comando file funciona 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
    
  4. Configure o ambiente de área de trabalho ou o gerenciador de arquivos para executar o wxMaxima com base no tipo text/x-wxmaxima-batch mime. (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.)

por 24.11.2012 / 23:15