Gentoo Archives: gentoo-commits

From: Mart Raudsepp <leio@g.o>
To: gentoo-commits@l.g.o
Subject: [gentoo-commits] proj/gnome:master commit in: gnome-extra/gnome-shell-extensions/
Date: Fri, 28 Sep 2018 17:59:07
Message-Id: 1538086514.df266fcdf71f48962c14311b67574bf5531d40b6.leio@gentoo
1 commit: df266fcdf71f48962c14311b67574bf5531d40b6
2 Author: Mart Raudsepp <leio <AT> gentoo <DOT> org>
3 AuthorDate: Thu Sep 27 22:15:14 2018 +0000
4 Commit: Mart Raudsepp <leio <AT> gentoo <DOT> org>
5 CommitDate: Thu Sep 27 22:15:14 2018 +0000
6 URL: https://gitweb.gentoo.org/proj/gnome.git/commit/?id=df266fcd
7
8 gnome-extra/gnome-shell-extensions: remove, revbump in ::gentoo
9
10 9999 too outdated (git master uses meson, etc), so remove that too.
11 Main tree version is a revbump that includes some bug fixes from
12 upstream 3.26 branch.
13
14 .../gnome-shell-extensions-3.26.2.ebuild | 76 -------------------
15 .../gnome-shell-extensions-9999.ebuild | 86 ----------------------
16 gnome-extra/gnome-shell-extensions/metadata.xml | 8 --
17 3 files changed, 170 deletions(-)
18
19 diff --git a/gnome-extra/gnome-shell-extensions/gnome-shell-extensions-3.26.2.ebuild b/gnome-extra/gnome-shell-extensions/gnome-shell-extensions-3.26.2.ebuild
20 deleted file mode 100644
21 index e8fdd259..00000000
22 --- a/gnome-extra/gnome-shell-extensions/gnome-shell-extensions-3.26.2.ebuild
23 +++ /dev/null
24 @@ -1,76 +0,0 @@
25 -# Copyright 1999-2018 Gentoo Foundation
26 -# Distributed under the terms of the GNU General Public License v2
27 -
28 -EAPI=6
29 -inherit gnome2 readme.gentoo-r1
30 -
31 -DESCRIPTION="JavaScript extensions for GNOME Shell"
32 -HOMEPAGE="https://wiki.gnome.org/Projects/GnomeShell/Extensions"
33 -
34 -LICENSE="GPL-2"
35 -SLOT="0"
36 -IUSE="examples"
37 -KEYWORDS="~amd64 ~x86"
38 -
39 -COMMON_DEPEND="
40 - >=dev-libs/glib-2.26:2
41 - >=gnome-base/libgtop-2.28.3[introspection]
42 - >=app-eselect/eselect-gnome-shell-extensions-20111211
43 -"
44 -RDEPEND="${COMMON_DEPEND}
45 - >=dev-libs/gjs-1.29
46 - dev-libs/gobject-introspection:=
47 - dev-libs/atk[introspection]
48 - gnome-base/gnome-menus:3[introspection]
49 - >=gnome-base/gnome-shell-3.14.2
50 - media-libs/clutter:1.0[introspection]
51 - net-libs/telepathy-glib[introspection]
52 - x11-libs/gdk-pixbuf:2[introspection]
53 - x11-libs/gtk+:3[introspection]
54 - x11-libs/pango[introspection]
55 - x11-themes/adwaita-icon-theme
56 - x11-wm/mutter[introspection]
57 -"
58 -DEPEND="${COMMON_DEPEND}
59 - >=sys-devel/gettext-0.19.6
60 - virtual/pkgconfig
61 -"
62 -# eautoreconf needs gnome-base/gnome-common
63 -
64 -DISABLE_AUTOFORMATTING="yes"
65 -DOC_CONTENTS="Installed extensions installed are initially disabled by default.
66 -To change the system default and enable some extensions, you can use
67 -# eselect gnome-shell-extensions
68 -
69 -Alternatively, to enable/disable extensions on a per-user basis,
70 -you can use the https://extensions.gnome.org/ web interface, the
71 -gnome-extra/gnome-tweak-tool GUI, or modify the org.gnome.shell
72 -enabled-extensions gsettings key from the command line or a script."
73 -
74 -src_configure() {
75 - gnome2_src_configure --enable-extensions=all
76 -}
77 -
78 -src_install() {
79 - gnome2_src_install
80 -
81 - local example="example@×××××××××××××××××××××××××××××××××××××.com"
82 - if use examples; then
83 - mv "${ED}usr/share/gnome-shell/extensions/${example}" \
84 - "${ED}usr/share/doc/${PF}/" || die
85 - else
86 - rm -r "${ED}usr/share/gnome-shell/extensions/${example}" || die
87 - fi
88 -
89 - readme.gentoo_create_doc
90 -}
91 -
92 -pkg_postinst() {
93 - gnome2_pkg_postinst
94 -
95 - ebegin "Updating list of installed extensions"
96 - eselect gnome-shell-extensions update
97 - eend $?
98 -
99 - readme.gentoo_print_elog
100 -}
101
102 diff --git a/gnome-extra/gnome-shell-extensions/gnome-shell-extensions-9999.ebuild b/gnome-extra/gnome-shell-extensions/gnome-shell-extensions-9999.ebuild
103 deleted file mode 100644
104 index 5464d5ec..00000000
105 --- a/gnome-extra/gnome-shell-extensions/gnome-shell-extensions-9999.ebuild
106 +++ /dev/null
107 @@ -1,86 +0,0 @@
108 -# Copyright 1999-2015 Gentoo Foundation
109 -# Distributed under the terms of the GNU General Public License v2
110 -# $Id$
111 -
112 -EAPI="5"
113 -GCONF_DEBUG="no"
114 -
115 -inherit eutils gnome2 readme.gentoo
116 -if [[ ${PV} = 9999 ]]; then
117 - inherit gnome2-live
118 -fi
119 -
120 -DESCRIPTION="JavaScript extensions for GNOME Shell"
121 -HOMEPAGE="https://wiki.gnome.org/Projects/GnomeShell/Extensions"
122 -
123 -LICENSE="GPL-2"
124 -SLOT="0"
125 -IUSE="examples"
126 -if [[ ${PV} = 9999 ]]; then
127 - KEYWORDS=""
128 -else
129 - KEYWORDS="~amd64 ~x86"
130 -fi
131 -
132 -COMMON_DEPEND="
133 - >=dev-libs/glib-2.26:2
134 - >=gnome-base/libgtop-2.28.3[introspection]
135 - >=app-eselect/eselect-gnome-shell-extensions-20111211
136 -"
137 -RDEPEND="${COMMON_DEPEND}
138 - >=dev-libs/gjs-1.29
139 - dev-libs/gobject-introspection
140 - dev-libs/atk[introspection]
141 - gnome-base/gnome-menus:3[introspection]
142 - >=gnome-base/gnome-shell-3.14.2
143 - media-libs/clutter:1.0[introspection]
144 - net-libs/telepathy-glib[introspection]
145 - x11-libs/gdk-pixbuf:2[introspection]
146 - x11-libs/gtk+:3[introspection]
147 - x11-libs/pango[introspection]
148 - x11-themes/gnome-icon-theme-symbolic
149 -"
150 -DEPEND="${COMMON_DEPEND}
151 - >=dev-util/intltool-0.50
152 - sys-devel/gettext
153 - virtual/pkgconfig
154 -"
155 -# eautoreconf needs gnome-base/gnome-common
156 -
157 -DISABLE_AUTOFORMATTING="yes"
158 -DOC_CONTENTS="Installed extensions installed are initially disabled by default.
159 -To change the system default and enable some extensions, you can use
160 -# eselect gnome-shell-extensions
161 -
162 -Alternatively, to enable/disable extensions on a per-user basis,
163 -you can use the https://extensions.gnome.org/ web interface, the
164 -gnome-extra/gnome-tweak-tool GUI, or modify the org.gnome.shell
165 -enabled-extensions gsettings key from the command line or a script."
166 -
167 -src_configure() {
168 - gnome2_src_configure --enable-extensions=all
169 -}
170 -
171 -src_install() {
172 - gnome2_src_install
173 -
174 - local example="example@×××××××××××××××××××××××××××××××××××××.com"
175 - if use examples; then
176 - mv "${ED}usr/share/gnome-shell/extensions/${example}" \
177 - "${ED}usr/share/doc/${PF}/" || die
178 - else
179 - rm -r "${ED}usr/share/gnome-shell/extensions/${example}" || die
180 - fi
181 -
182 - readme.gentoo_create_doc
183 -}
184 -
185 -pkg_postinst() {
186 - gnome2_pkg_postinst
187 -
188 - ebegin "Updating list of installed extensions"
189 - eselect gnome-shell-extensions update
190 - eend $?
191 -
192 - readme.gentoo_print_elog
193 -}
194
195 diff --git a/gnome-extra/gnome-shell-extensions/metadata.xml b/gnome-extra/gnome-shell-extensions/metadata.xml
196 deleted file mode 100644
197 index 39980802..00000000
198 --- a/gnome-extra/gnome-shell-extensions/metadata.xml
199 +++ /dev/null
200 @@ -1,8 +0,0 @@
201 -<?xml version="1.0" encoding="UTF-8"?>
202 -<!DOCTYPE pkgmetadata SYSTEM "http://www.gentoo.org/dtd/metadata.dtd">
203 -<pkgmetadata>
204 -<maintainer type="project">
205 - <email>gnome@g.o</email>
206 - <name>Gentoo GNOME Desktop</name>
207 -</maintainer>
208 -</pkgmetadata>