Script to set vlc as default player on GNOME desktops. Patch by Torsten Spindler <spindler _at_ tspindler _dot_ de>