diff options
author | Guillermo Joandet <gjoandet@gmail.com> | 2023-12-03 18:30:37 -0300 |
---|---|---|
committer | Pacho Ramos <pacho@gentoo.org> | 2023-12-18 11:19:10 +0100 |
commit | f9180ebcdbeb69a03531b78f8c730de8fb7354bc (patch) | |
tree | c469f4db142358a1ef1762b66496efb0d29043b4 /gnome-extra | |
parent | gnome-base/gnome-shell: Version bump to 45.2 (diff) | |
download | gentoo-f9180ebcdbeb69a03531b78f8c730de8fb7354bc.tar.gz gentoo-f9180ebcdbeb69a03531b78f8c730de8fb7354bc.tar.bz2 gentoo-f9180ebcdbeb69a03531b78f8c730de8fb7354bc.zip |
gnome-extra/gnome-shell-extensions: Version bump to 45.2
Signed-off-by: Guillermo Joandet <gjoandet@gmail.com>
Closes: https://github.com/gentoo/gentoo/pull/34116
Signed-off-by: Pacho Ramos <pacho@gentoo.org>
Diffstat (limited to 'gnome-extra')
-rw-r--r-- | gnome-extra/gnome-shell-extensions/Manifest | 1 | ||||
-rw-r--r-- | gnome-extra/gnome-shell-extensions/gnome-shell-extensions-45.2.ebuild | 70 |
2 files changed, 71 insertions, 0 deletions
diff --git a/gnome-extra/gnome-shell-extensions/Manifest b/gnome-extra/gnome-shell-extensions/Manifest index 80959a20ce3e..e612df11529c 100644 --- a/gnome-extra/gnome-shell-extensions/Manifest +++ b/gnome-extra/gnome-shell-extensions/Manifest @@ -1,3 +1,4 @@ DIST gnome-shell-extensions-44.0.tar.xz 227060 BLAKE2B 3f166f75c5d011f990b7dcbfc4d3d1364e480822087d35cf8f361234c482f572d89b4d4eb92be67ffdf4bae4e05de361abfc3b0d92c3c30d03f67f2bd8c25251 SHA512 d3cc58bb0e5d29646a20b02cd59ba480bf42fbf9bbe0e228ae132e19e385806e95c937b3d7bd5fe0877702ed151f972f07e345e6072c1cd02d51cb56f72854e6 DIST gnome-shell-extensions-45.0.tar.xz 201516 BLAKE2B 5a8c36ff0a331d1b243a31fe54d0e4ace43aa6611a461aecee3dbd8741234e067377a4be11e2f07ed12fb09a1151ba5ee3a2e185b61b60241d480e2da9145547 SHA512 ed0fb36d54efee42b7636bd5fe4d0e279ba756dfb4ad438d35b86f32adc5fb15ad123a7b98bd98330c17786cb878fd77480e943383e1520618a75b16d09f07c5 DIST gnome-shell-extensions-45.1.tar.xz 201296 BLAKE2B 933e6e57ba1bc755e1916c6f9a3e833c607951c390f40162bf129d39afb1c0fc5e0f951b668fac1cc2a388bec4239f65e64768dc35fca2c5f1fdd801203b0a80 SHA512 7d57b1c37dcbc542d7ccbe54d548895d932149c2bd9cc24b3581d766d4e784eacb6a56da0cb60e311fd862f523ac97795625328a57d9fc13ac100a95dcd4f1aa +DIST gnome-shell-extensions-45.2.tar.xz 201232 BLAKE2B b93257a6e535b0f58a9671b0000c3f98af9b99204202403ca38a5a6a367c972320e64a65d87608d34472a1387f0ed4c04b7d80afa77f414f55ac9e9c17063a17 SHA512 eda1f59f88374c67ae82bb0739dbb4e628e61018701d764d89e559f14823a4a0887a967f40b0a5c3824d4054721bb387c130430f6ac1ab81c5ab585972e3909f diff --git a/gnome-extra/gnome-shell-extensions/gnome-shell-extensions-45.2.ebuild b/gnome-extra/gnome-shell-extensions/gnome-shell-extensions-45.2.ebuild new file mode 100644 index 000000000000..49a6506ea2b3 --- /dev/null +++ b/gnome-extra/gnome-shell-extensions/gnome-shell-extensions-45.2.ebuild @@ -0,0 +1,70 @@ +# Copyright 1999-2023 Gentoo Authors +# Distributed under the terms of the GNU General Public License v2 + +EAPI=8 +inherit gnome.org readme.gentoo-r1 meson xdg + +DESCRIPTION="JavaScript extensions for GNOME Shell" +HOMEPAGE="https://wiki.gnome.org/Projects/GnomeShell/Extensions" + +LICENSE="GPL-2+" +SLOT="0" +KEYWORDS="~amd64 ~arm64 ~loong ~riscv ~x86" + +DEPEND=" + >=dev-libs/glib-2.26:2 + >=gnome-base/libgtop-2.28.3[introspection] + >=app-eselect/eselect-gnome-shell-extensions-20111211 +" +RDEPEND="${DEPEND} + >=app-accessibility/at-spi2-core-2.46.0[introspection] + >=dev-libs/gjs-1.29 + dev-libs/gobject-introspection:= + gnome-base/gnome-menus:3[introspection] + =gnome-base/gnome-shell-$(ver_cut 1)* + gui-libs/libadwaita[introspection] + media-libs/clutter:1.0[introspection] + media-libs/graphene[introspection] + x11-libs/gtk+:3[introspection] + x11-libs/pango[introspection] + x11-themes/adwaita-icon-theme + >=x11-wm/mutter-3.32[introspection] +" +BDEPEND=" + >=sys-devel/gettext-0.19.8 + virtual/pkgconfig +" + +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 gnome-extensions-app (included with gnome-shell), +https://extensions.gnome.org/ web interface, or modify the +org.gnome.shell enabled-extensions gsettings key from the command +line or a script." + +src_configure() { + local emesonargs=( + -Dextension_set=all + -Dclassic_mode=true + ) + meson_src_configure +} + +src_install() { + meson_src_install + readme.gentoo_create_doc +} + +pkg_postinst() { + xdg_pkg_postinst + + ebegin "Updating list of installed extensions" + eselect gnome-shell-extensions update + eend $? + + readme.gentoo_print_elog +} |