Práce s archivy WAR ve správci souborů Krusader

Nevím, jestli jsem jediný javista, který v GNOME používá správce souborů Krusader, ale na internetu se mi nepodařilo najít postup, jak v něm správně pracovat s archivy WAR. Po hodině zkoušení jsem našel řešení v úpravě přiřazení typů MIME.

• Smažte soubor /usr/share/mimelnk/application/x-webarchive.desktop.
• Otevřete /usr/share/mimelnk/application/x-jar.desktop a nastavte hodnotu Patterns na *.jar;*.war.
• Restartujte Krusader.

Nevím, jestli je to tak trochu obezlička, ale mně to funguje. Budu rád za vaše komentáře.