# HG changeset patch # User diego # Date 1088513614 0 # Node ID 1856b9bfdc09996d8c06b4ff65f24f3f53c9cadd # Parent 9a291255220e306353fcf03f0828dd4eb3af0673 freedesktop.org compliant menu support patch by Piero Di Vita diff -r 9a291255220e -r 1856b9bfdc09 debian/dirs --- a/debian/dirs Tue Jun 29 12:40:29 2004 +0000 +++ b/debian/dirs Tue Jun 29 12:53:34 2004 +0000 @@ -2,3 +2,5 @@ usr/share/man/man1 usr/share/mplayer usr/lib/mplayer +usr/share/applications +usr/share/icons diff -r 9a291255220e -r 1856b9bfdc09 debian/menu --- a/debian/menu Tue Jun 29 12:40:29 2004 +0000 +++ b/debian/menu Tue Jun 29 12:53:34 2004 +0000 @@ -1,1 +1,1 @@ -?package(mplayer):command=/usr/bin/gmplayer section="Apps/Viewers" needs=X11 title=gmplayer +?package(mplayer):command=/usr/bin/gmplayer section="Apps/Viewers" needs="X11" title=MPlayer icon=/usr/share/icons/MPlayer_mini.xpm diff -r 9a291255220e -r 1856b9bfdc09 debian/rules --- a/debian/rules Tue Jun 29 12:40:29 2004 +0000 +++ b/debian/rules Tue Jun 29 12:53:34 2004 +0000 @@ -52,6 +52,10 @@ # commands to install the package into debian/ $(MAKE) prefix=$(prefix)/usr BINDIR=$(prefix)/usr/bin CONFDIR=$(prefix)/etc/mplayer LIBDIR=$(prefix)/usr/lib DATADIR=$(prefix)/usr/share/mplayer MANDIR=$(prefix)/usr/share/man install + + install -m 644 -o 0 -g 0 etc/mplayer.desktop $(prefix)/usr/share/applications/mplayer.desktop + install -m 644 -o 0 -g 0 Gui/mplayer/pixmaps/MPlayer_mini.xpm $(prefix)/usr/share/icons/MPlayer_mini.xpm + dh_link usr/bin/mplayer usr/bin/gmplayer \ usr/share/man/man1/mplayer.1.gz usr/share/man/man1/gmplayer.1.gz diff -r 9a291255220e -r 1856b9bfdc09 etc/mplayer.desktop --- /dev/null Thu Jan 01 00:00:00 1970 +0000 +++ b/etc/mplayer.desktop Tue Jun 29 12:53:34 2004 +0000 @@ -0,0 +1,15 @@ +[Desktop Entry] +Type=Application +Encoding=UTF-8 +Name=Multimedia Player +GenericName=Multimedia Player +Comment=Multimedia Player +Comment[de]=Multimedia Player +Comment[es]=Reproductor multimedia +Comment[fr]=Lecteur multimedia +Comment[it]=Lettore multimediale +Icon=/usr/share/icons/MPlayer_mini.xpm +TryExec=gmplayer +Exec=gmplayer +Terminal=0 +Categories=GNOME;KDE;GTK;Application;Multimedia;AudioVideo;Video;Player;