DrRacket mit *.rkt-Dateien verknüpfen unter Debian GNU/Linux

Aus aktuellem Anlass hier eine Kurzanleitung für Menschen, die "SE3 Funktionale Programmierung" hören und ihre *.rkt-Dateien mit DrRacket verknüpfen möchten:

Leider werden die *.rkt-Dateien standardgemäß als Textdokument erkannt, daher muss zuerst ein neuer Mimetype hinzugefügt werden:

gedit .local/share/mime/packages/user-extension-rkt.xml

In dieser Datei dann folgendes hineinschreiben:

<?xml version="1.0" encoding="UTF-8"?>
<mime-info xmlns="http://www.freedesktop.org/standards/shared-mime-info">
 <mime-type type="application/x-extension-rkt">
  <comment>racket document</comment>
  <glob pattern="*.rkt"/>
 </mime-type>
</mime-info>

Nun muss noch die Datenbank aktualisiert werden:

update-mime-database .local/share/mime/

Am besten prüft man mit mimetype ob es geklappt hat:

mimetype beispiel.rkt

Als Ausgabe sollte folgendes zu erwarten sein:

beispiel.rkt: application/x-extension-rkt

Nun muss man noch nautilus einmal killen, damit es den neuen Mimetype lädt:

killall nautilus

Ab jetzt solltet ihr im Dateimanager (nautilus) mit Rechtsklick auf eine Racket-Datei unter "Properties"->"Open With" ein Programm für die Racket-Datei einstellen können, ohne dieses mit allen Textdateien zu verknüpfen.

Sollte DrRacket nicht auswählbar sein, so kann diese Anleitung helfen.

Getestet unter Debian GNU/Linux, funktioniert vermutlich auch unter Ubuntu und anderen Distributionen.