Remplace vlc par svlc dans le fichier vlc.desktop

diff --git a/stage5/pkg/vlc b/stage5/pkg/vlc
index febdc4a5693beb8342bebe9abc3d11721d4a3016..eb6a83609c139fcc7300212d5eeca17c170c7b60 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
 }