Git-Url: http://git.frugalware.org/gitweb/gitweb.cgi?p=frugalware-current.git;a=commitdiff;h=74e1ba41d901c8cdde97bf65d4d8fb6014ea30e8
commit 74e1ba41d901c8cdde97bf65d4d8fb6014ea30e8 Author: Baste <[email protected]> Date: Tue Oct 4 15:05:34 2011 +0200 gnome-shell-extensions-mediasplayers-20110620-1-x86_64 * Not working with Gnome 3.2 diff --git a/source/gnome-extra/gnome-shell-extensions-mediasplayers/FrugalBuild b/source/gnome-extra/gnome-shell-extensions-mediasplayers/FrugalBuild deleted file mode 100644 index 1d1f665..0000000 --- a/source/gnome-extra/gnome-shell-extensions-mediasplayers/FrugalBuild +++ /dev/null @@ -1,29 +0,0 @@ -# Compiling Time: 0.01 SBU -# Maintainer: Baste <[email protected]> - -pkgname=gnome-shell-extensions-mediasplayers -pkgver=20110620 -pkgrel=1 -pkgdesc="Is a simple extension for displaying player control, music and music cover in Gnome Shell." -url="https://github.com/Caccc/Gnome-shell-extension-Mediasplayers"; -depends=('gnome-shell') -groups=('gnome-extra') -archs=('i686' 'x86_64') -_F_gnome_glib="y" -Finclude gnome-shell-extensions gnome-scriptlet -up2date="Flasttar http://ftp.frugalware.org/pub/other/people/baste/snapshots/$pkgname"; -source=(http://ftp.frugalware.org/pub/other/people/baste/snapshots/$pkgname/$pkgname-$pkgver.tar.bz2) -sha1sums=('2ab81ff7953310368b9ffd9a8535a8479d879d7f') - -build() -{ - Fcd - Fmkdir usr/share/gnome-shell/extensions/ - Fcprel mediasplayers@ycdref usr/share/gnome-shell/extensions/ - Fmkdir usr/share/glib-2.0/schemas - Ffilerel mediasplayers@ycdref/org.gnome.shell.extensions.mediasplayers.gschema.xml usr/share/glib-2.0/schemas/ - Frm usr/share/gnome-shell/extensions/mediasplayers@ycdref/org.gnome.shell.extensions.mediasplayers.gschema.xml - Fexerel mediasplayers@ycdref/mediasplayers-settings.py usr/bin/mediasplayers-settings - FGnomeShellVersion - Fbuild_gnome_scriptlet -} _______________________________________________ Frugalware-git mailing list [email protected] http://frugalware.org/mailman/listinfo/frugalware-git
