AskOverflow.Dev

AskOverflow.Dev Logo AskOverflow.Dev Logo

AskOverflow.Dev Navigation

  • Início
  • system&network
  • Ubuntu
  • Unix
  • DBA
  • Computer
  • Coding
  • LangChain

Mobile menu

Close
  • Início
  • system&network
    • Recentes
    • Highest score
    • tags
  • Ubuntu
    • Recentes
    • Highest score
    • tags
  • Unix
    • Recentes
    • tags
  • DBA
    • Recentes
    • tags
  • Computer
    • Recentes
    • tags
  • Coding
    • Recentes
    • tags
Início / user-1932145

wzbillings's questions

Martin Hope
wzbillings
Asked: 2024-09-12 09:48:09 +0800 CST

Por que meus arquivos vazios não estão recebendo o tipo MIME correto?

  • 15

Para um curso, estou usando a linguagem Racket , que agrupa seu próprio IDE (Dr Racket) com a instalação. Eu o instalei com sucesso na minha máquina Ubuntu 22.04.

No entanto, o instalador não cria um mimetype para .rktarquivos (a extensão padrão para arquivos de código Racket usados ​​pelo IDE). Eu queria que meus .rktarquivos abrissem no Racket IDE quando eu clicasse neles, então criei um mimetype personalizado, chamado text/rkt, que funcionou bem. O ícone personalizado funciona e quando eu clico duas vezes nos arquivos eles abrem no Racket IDE. Em arquivos de código que eu já criei com código dentro deles, o mimetype personalizado parece funcionar corretamente.

No entanto, se eu fizer, touch test.rktpor exemplo, para criar um novo arquivo, esse arquivo recebe o text/plainmimetype e quando eu clico duas vezes nele, ele abre o editor de texto em vez do Racket IDE. Isso não é o ideal, porque eu gostaria de poder criar arquivos vazios do terminal e abri-los no IDE (é mais conveniente do que fazer Salvar como -> qualquer coisa toda vez no IDE).

É possível que meus arquivos vazios com a *.rktextensão sejam reconhecidos como meu mimetype personalizado, em vez de texto simples?

Aqui está o código para meu tipo MIME personalizado, caso eu tenha feito algo errado:

<?xml version="1.0" encoding="UTF-8"?>
<mime-info xmlns='http://www.freedesktop.org/standards/shared-mime-info'>
        <mime-type type="text/rkt">
                <comment>Racket code file</comment>
                <glob pattern="*.rkt"/>
        </mime-type>
</mime-info>

Eu segui a documentação do Ubuntu aqui , que eu posso ver que foi editada pela última vez em 2014, assim como um post aqui que é mais recente, mas talvez algo tenha mudado desde então. Sou novo no Linux, então talvez eu não saiba onde procurar para encontrar as instruções corretas.

mime-type
  • 1 respostas
  • 476 Views

Sidebar

Stats

  • Perguntas 205573
  • respostas 270741
  • best respostas 135370
  • utilizador 68524
  • Highest score
  • respostas
  • Marko Smith

    Existe um comando para listar todos os usuários? Também para adicionar, excluir, modificar usuários, no terminal?

    • 9 respostas
  • Marko Smith

    Como excluir um diretório não vazio no Terminal?

    • 4 respostas
  • Marko Smith

    Como descompactar um arquivo zip do Terminal?

    • 9 respostas
  • Marko Smith

    Como instalo um arquivo .deb por meio da linha de comando?

    • 11 respostas
  • Marko Smith

    Como instalo um arquivo .tar.gz (ou .tar.bz2)?

    • 14 respostas
  • Marko Smith

    Como listar todos os pacotes instalados

    • 24 respostas
  • Martin Hope
    Flimm Como posso usar o docker sem sudo? 2014-06-07 00:17:43 +0800 CST
  • Martin Hope
    led-Zepp Como faço para salvar a saída do terminal em um arquivo? 2014-02-15 11:49:07 +0800 CST
  • Martin Hope
    ubuntu-nerd Como descompactar um arquivo zip do Terminal? 2011-12-11 20:37:54 +0800 CST
  • Martin Hope
    TheXed Como instalo um arquivo .deb por meio da linha de comando? 2011-05-07 09:40:28 +0800 CST
  • Martin Hope
    Ivan Como listar todos os pacotes instalados 2010-12-17 18:08:49 +0800 CST
  • Martin Hope
    David Barry Como determino o tamanho total de um diretório (pasta) na linha de comando? 2010-08-06 10:20:23 +0800 CST
  • Martin Hope
    jfoucher "Os seguintes pacotes foram retidos:" Por que e como resolvo isso? 2010-08-01 13:59:22 +0800 CST
  • Martin Hope
    David Ashford Como os PPAs podem ser removidos? 2010-07-30 01:09:42 +0800 CST

Hot tag

10.10 10.04 gnome networking server command-line package-management software-recommendation sound xorg

Explore

  • Início
  • Perguntas
    • Recentes
    • Highest score
  • tag
  • help

Footer

AskOverflow.Dev

About Us

  • About Us
  • Contact Us

Legal Stuff

  • Privacy Policy

Language

  • Pt
  • Server
  • Unix

© 2023 AskOverflow.DEV All Rights Reserve