Git-Url: http://git.frugalware.org/gitweb/gitweb.cgi?p=frugalware-current.git;a=commitdiff;h=a6d77265d62ffed2b21bf84d47c2edd8c07a0cf0
commit a6d77265d62ffed2b21bf84d47c2edd8c07a0cf0 Author: Baste <[email protected]> Date: Mon Apr 8 16:22:57 2013 +0200 gnome-shell-extension-autohidetopbar-2.0-3-x86_64 * Remove, death diff --git a/source/gnome-extra/gnome-shell-extension-autohidetopbar/FrugalBuild b/source/gnome-extra/gnome-shell-extension-autohidetopbar/FrugalBuild deleted file mode 100644 index 594bae0..0000000 --- a/source/gnome-extra/gnome-shell-extension-autohidetopbar/FrugalBuild +++ /dev/null @@ -1,26 +0,0 @@ -# Compiling Time: 0.01 SBU -# Maintainer: Baste <[email protected]> - -pkgname=gnome-shell-extension-autohidetopbar -pkgver=2.0 -pkgrel=3 -pkgdesc="Make the top bar (panel) autohideable. in Gnome-shell" -url="http://www.fpmurphy.com/gnome-shell-extensions"; -depends=('gnome-shell>=3.2') -groups=('gnome-extra') -archs=('i686' 'x86_64') -Finclude gnome-shell-extensions -_F_archive_name="autohidetopbar" -up2date="Flasttar $url" -source=($url/$_F_archive_name-$pkgver.tar.gz) -sha1sums=('c8e8ae914912dcd136b1d82e445e4f51e32d83fa') -_F_cd_path="." - -build() -{ - Fcd - Fsed "TIME_DELTA = 1500" "TIME_DELTA = 2000" [email protected]/extension.js - Fmkdir usr/share/gnome-shell/extensions/ - Fcprel [email protected] usr/share/gnome-shell/extensions/ - FGnomeShellVersion -} _______________________________________________ Frugalware-git mailing list [email protected] http://frugalware.org/mailman/listinfo/frugalware-git
