#!/bin/bash

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