changeset 12727:1856b9bfdc09

freedesktop.org compliant menu support patch by Piero Di Vita <scognito@libero.it>
author diego
date Tue, 29 Jun 2004 12:53:34 +0000
parents 9a291255220e
children 5369a905c5a5
files debian/dirs debian/menu debian/rules etc/mplayer.desktop
diffstat 4 files changed, 22 insertions(+), 1 deletions(-) [+]
line wrap: on
line diff
--- 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
--- 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
--- 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/<packagename>
 	$(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
 
--- /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;