#!/bin/bash

hvbuild_post()
{
    # Remplace vlc par svlc (équivalent de "vlc --intf skins2")
    sudo sed -e "s!Exec=vlc %U!Exec=svlc %U!" \
        -i /usr/share/applications/vlc.desktop
}