#!/bin/bash -e
xdg-mime default fragplayer.desktop text/fragpointer
update-mime-database /usr/share/mime/
