Remplace vlc par svlc dans le fichier vlc.desktop

diff --git a/stage5/pkg/vlc b/stage5/pkg/vlc
index febdc4a..eb6a836 100644 (file)
--- a/stage5/pkg/vlc
+++ b/stage5/pkg/vlc
@@ -2,5 +2,7 @@
 
 hvbuild_post()
 {
-    string_add "alias vlc='vlc --intf skins2'" /etc/bashrc
+    # 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
 }