diff options
author | Pacho Ramos <pacho@gentoo.org> | 2013-05-15 07:55:55 +0000 |
---|---|---|
committer | Pacho Ramos <pacho@gentoo.org> | 2013-05-15 07:55:55 +0000 |
commit | 1ce579b81c362156c9002c773842cca2e099bfcb (patch) | |
tree | 50ed2a5397f2a09ba38dcc8723c63a82e98d2b13 /gnome-extra | |
parent | Install otpcalc.1 man page redirection. (diff) | |
download | gentoo-2-1ce579b81c362156c9002c773842cca2e099bfcb.tar.gz gentoo-2-1ce579b81c362156c9002c773842cca2e099bfcb.tar.bz2 gentoo-2-1ce579b81c362156c9002c773842cca2e099bfcb.zip |
Version bump, drop old
(Portage version: 2.1.11.63/cvs/Linux x86_64, signed Manifest commit with key A188FBD4)
Diffstat (limited to 'gnome-extra')
-rw-r--r-- | gnome-extra/gnome-shell-extensions/ChangeLog | 8 | ||||
-rw-r--r-- | gnome-extra/gnome-shell-extensions/gnome-shell-extensions-3.8.2.ebuild (renamed from gnome-extra/gnome-shell-extensions/gnome-shell-extensions-3.8.0.ebuild) | 29 |
2 files changed, 25 insertions, 12 deletions
diff --git a/gnome-extra/gnome-shell-extensions/ChangeLog b/gnome-extra/gnome-shell-extensions/ChangeLog index 046f52e34556..17519d2317a6 100644 --- a/gnome-extra/gnome-shell-extensions/ChangeLog +++ b/gnome-extra/gnome-shell-extensions/ChangeLog @@ -1,6 +1,12 @@ # ChangeLog for gnome-extra/gnome-shell-extensions # Copyright 1999-2013 Gentoo Foundation; Distributed under the GPL v2 -# $Header: /var/cvsroot/gentoo-x86/gnome-extra/gnome-shell-extensions/ChangeLog,v 1.9 2013/04/20 10:01:30 pacho Exp $ +# $Header: /var/cvsroot/gentoo-x86/gnome-extra/gnome-shell-extensions/ChangeLog,v 1.10 2013/05/15 07:55:55 pacho Exp $ + +*gnome-shell-extensions-3.8.2 (15 May 2013) + + 15 May 2013; Pacho Ramos <pacho@gentoo.org> + +gnome-shell-extensions-3.8.2.ebuild, -gnome-shell-extensions-3.8.0.ebuild: + Version bump, drop old *gnome-shell-extensions-3.8.1 (20 Apr 2013) diff --git a/gnome-extra/gnome-shell-extensions/gnome-shell-extensions-3.8.0.ebuild b/gnome-extra/gnome-shell-extensions/gnome-shell-extensions-3.8.2.ebuild index b8a877370217..0d3eb49f64b9 100644 --- a/gnome-extra/gnome-shell-extensions/gnome-shell-extensions-3.8.0.ebuild +++ b/gnome-extra/gnome-shell-extensions/gnome-shell-extensions-3.8.2.ebuild @@ -1,11 +1,11 @@ # Copyright 1999-2013 Gentoo Foundation # Distributed under the terms of the GNU General Public License v2 -# $Header: /var/cvsroot/gentoo-x86/gnome-extra/gnome-shell-extensions/gnome-shell-extensions-3.8.0.ebuild,v 1.2 2013/03/29 22:39:03 eva Exp $ +# $Header: /var/cvsroot/gentoo-x86/gnome-extra/gnome-shell-extensions/gnome-shell-extensions-3.8.2.ebuild,v 1.1 2013/05/15 07:55:55 pacho Exp $ EAPI="5" GCONF_DEBUG="no" -inherit eutils gnome2 +inherit eutils gnome2 readme.gentoo DESCRIPTION="JavaScript extensions for GNOME Shell" HOMEPAGE="http://live.gnome.org/GnomeShell/Extensions" @@ -19,7 +19,8 @@ COMMON_DEPEND=" >=dev-libs/glib-2.26:2 >=gnome-base/gnome-desktop-2.91.6:3[introspection] >=gnome-base/libgtop-2.28.3[introspection] - >=app-admin/eselect-gnome-shell-extensions-20111211" + >=app-admin/eselect-gnome-shell-extensions-20111211 +" RDEPEND="${COMMON_DEPEND} >=dev-libs/gjs-1.29 dev-libs/gobject-introspection @@ -40,6 +41,16 @@ DEPEND="${COMMON_DEPEND} " # eautoreconf needs gnome-base/gnome-common +DISABLE_AUTOFORMATTING="yes" +DOC_CONTENTS="Installed extensions installed are initially disabled by default. +To change the system default and enable some extensions, you can use +# eselect gnome-shell-extensions + +Alternatively, to enable/disable extensions on a per-user basis, +you can use the https://extensions.gnome.org/ web interface, the +gnome-extra/gnome-tweak-tool GUI, or modify the org.gnome.shell +enabled-extensions gsettings key from the command line or a script." + src_configure() { gnome2_src_configure --enable-extensions=all } @@ -54,6 +65,8 @@ src_install() { else rm -r "${ED}usr/share/gnome-shell/extensions/${example}" || die fi + + readme.gentoo_create_doc } pkg_postinst() { @@ -62,12 +75,6 @@ pkg_postinst() { ebegin "Updating list of installed extensions" eselect gnome-shell-extensions update eend $? - elog - elog "Installed extensions installed are initially disabled by default." - elog "To change the system default and enable some extensions, you can use" - elog "# eselect gnome-shell-extensions" - elog "Alternatively, to enable/disable extensions on a per-user basis," - elog "you can use the https://extensions.gnome.org/ web interface, the" - elog "gnome-extra/gnome-tweak-tool GUI, or modify the org.gnome.shell" - elog "enabled-extensions gsettings key from the command line or a script." + + readme.gentoo_print_elog } |