diff options
author | V3n3RiX <venerix@redcorelinux.org> | 2018-07-14 20:58:29 +0100 |
---|---|---|
committer | V3n3RiX <venerix@redcorelinux.org> | 2018-07-14 20:58:29 +0100 |
commit | 0cf2f20608308acdf3cb922c3736446bbd8f3388 (patch) | |
tree | 07815070629c7c11000a7f51ceb8ccbccb49a809 /gnome-extra/gnome-shell-extensions | |
parent | 1798c4aeca70ac8d0a243684d6a798fbc65735f8 (diff) |
gentoo resync : 14.07.2018
Diffstat (limited to 'gnome-extra/gnome-shell-extensions')
-rw-r--r-- | gnome-extra/gnome-shell-extensions/Manifest | 3 | ||||
-rw-r--r-- | gnome-extra/gnome-shell-extensions/gnome-shell-extensions-3.24.3.ebuild | 76 | ||||
-rw-r--r-- | gnome-extra/gnome-shell-extensions/metadata.xml | 8 |
3 files changed, 0 insertions, 87 deletions
diff --git a/gnome-extra/gnome-shell-extensions/Manifest b/gnome-extra/gnome-shell-extensions/Manifest deleted file mode 100644 index ca6b5f2340b1..000000000000 --- a/gnome-extra/gnome-shell-extensions/Manifest +++ /dev/null @@ -1,3 +0,0 @@ -DIST gnome-shell-extensions-3.24.3.tar.xz 346420 BLAKE2B 3b6f6686656ca6f395bd69fea905c4f28264db81ac0f207bc2e0d6c82410328be2bc4c98faa659d9ac551cabb73e0576c4e28def9c14e5c7710a9785528909db SHA512 7948a9cb6f5cb8d760bc42ea2865823ee60bd164b491d944edb0413e362f38ed90d39ead44ac57872a83c43c4050f5448936e739626b89a2b486a22f41d61e20 -EBUILD gnome-shell-extensions-3.24.3.ebuild 2052 BLAKE2B a1be0802d71c34de0baf77b088badb0ef0f492c30ce738e85fcc52f921f2156f11715dfa2f3a7309cb1e3fe804ef80bd3d3c37a95b8dc49aecb7ea801fcceec7 SHA512 2aa74c3f079d1fe228e12fed8f984f80be3f0bdbc904499555e80d2a0931bc9003f652ba5aacb49563eef5bc86495c6f8552c2b1136fe0179b078a1004e45cba -MISC metadata.xml 249 BLAKE2B e71e1b95fee768c696704acbf7e3cf0e599ed2bc8de92bae0141d1194ef9e842bdc292798904487a9b90ddfda9b0e84abd3b76b1518576c1d288240e4e46f110 SHA512 c40662134899a5c9f0369a1017806f35adf3280a0b3c91726f7a8ca6012a073a8b471583f5bfb6fe95faac1dcf607e8e2e43f8c91d48ec46f4a8824e2f551506 diff --git a/gnome-extra/gnome-shell-extensions/gnome-shell-extensions-3.24.3.ebuild b/gnome-extra/gnome-shell-extensions/gnome-shell-extensions-3.24.3.ebuild deleted file mode 100644 index b083460498d0..000000000000 --- a/gnome-extra/gnome-shell-extensions/gnome-shell-extensions-3.24.3.ebuild +++ /dev/null @@ -1,76 +0,0 @@ -# Copyright 1999-2018 Gentoo Foundation -# Distributed under the terms of the GNU General Public License v2 - -EAPI=6 -inherit gnome2 readme.gentoo-r1 - -DESCRIPTION="JavaScript extensions for GNOME Shell" -HOMEPAGE="https://wiki.gnome.org/Projects/GnomeShell/Extensions" - -LICENSE="GPL-2" -SLOT="0" -IUSE="examples" -KEYWORDS="amd64 x86" - -COMMON_DEPEND=" - >=dev-libs/glib-2.26:2 - >=gnome-base/libgtop-2.28.3[introspection] - >=app-eselect/eselect-gnome-shell-extensions-20111211 -" -RDEPEND="${COMMON_DEPEND} - >=dev-libs/gjs-1.29 - dev-libs/gobject-introspection:= - dev-libs/atk[introspection] - gnome-base/gnome-menus:3[introspection] - >=gnome-base/gnome-shell-3.14.2 - media-libs/clutter:1.0[introspection] - net-libs/telepathy-glib[introspection] - x11-libs/gdk-pixbuf:2[introspection] - x11-libs/gtk+:3[introspection] - x11-libs/pango[introspection] - x11-themes/adwaita-icon-theme - x11-wm/mutter[introspection] -" -DEPEND="${COMMON_DEPEND} - >=sys-devel/gettext-0.19.6 - virtual/pkgconfig -" -# 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 -} - -src_install() { - gnome2_src_install - - local example="example@gnome-shell-extensions.gcampax.github.com" - if use examples; then - mv "${ED}usr/share/gnome-shell/extensions/${example}" \ - "${ED}usr/share/doc/${PF}/" || die - else - rm -r "${ED}usr/share/gnome-shell/extensions/${example}" || die - fi - - readme.gentoo_create_doc -} - -pkg_postinst() { - gnome2_pkg_postinst - - ebegin "Updating list of installed extensions" - eselect gnome-shell-extensions update - eend $? - - readme.gentoo_print_elog -} diff --git a/gnome-extra/gnome-shell-extensions/metadata.xml b/gnome-extra/gnome-shell-extensions/metadata.xml deleted file mode 100644 index 39980802b1da..000000000000 --- a/gnome-extra/gnome-shell-extensions/metadata.xml +++ /dev/null @@ -1,8 +0,0 @@ -<?xml version="1.0" encoding="UTF-8"?> -<!DOCTYPE pkgmetadata SYSTEM "http://www.gentoo.org/dtd/metadata.dtd"> -<pkgmetadata> -<maintainer type="project"> - <email>gnome@gentoo.org</email> - <name>Gentoo GNOME Desktop</name> -</maintainer> -</pkgmetadata> |