unofficial mirror of guix-patches@gnu.org 
 help / color / mirror / code / Atom feed
From: Liliana Marie Prikler <liliana.prikler@gmail.com>
To: Vivien Kraus <vivien@planete-kraus.eu>, 68556@debbugs.gnu.org
Cc: rg@raghavgururajan.name, maxim.cournoyer@gmail.com
Subject: [bug#68556] [PATCH gnome-team v3 0/7] [PATCH gnome-team v3 0/7] Update extensions (2/5 replaced, 2/5 no solution, 1/5 redundant)
Date: Sat, 20 Jan 2024 01:51:30 +0100	[thread overview]
Message-ID: <a0e787b1aedb4a940be1d7e3d11069f7c31c75f9.camel@gmail.com> (raw)
In-Reply-To: <cover.1705709466.git.vivien@planete-kraus.eu>

Am Samstag, dem 20.01.2024 um 01:11 +0100 schrieb Vivien Kraus:
> Dear Guix,
> 
> In this V3, the Applications Menu built-in extension is fixed by
> installing typelibs for gnome-menus. Since the extension requires it,
> I figured it should be a propagated-input. However, it is already
> propagated by gnome-desktop. Should we propagate it in both gnome-
> desktop and gnome-shell-extensions?
Instead of propagating it, we should perhaps just wrap GI_TYPELIB_PATH?

> The noannoyance extension now has an updated origin, preserving the
> same package.
> 
> The paperwm extension requires to be updated for GNOME 44, see
> https://issues.guix.gnu.org/68574 for a candidate patch.
More accurately, it is already outdated for GNOME 42(?) and the
supplied patch also works for GNOME 44.

> I still have no solution for Jiggle and Transparent Window. For the
> former, I was reminded that there is a standard option to make your
> pointer more visible if you press the control key, but I am not sure
> this is desirable as a Jiggle replacement.
Let's keep this open for review then.

> Now sound-output-device-chooser has a greatly decreased utility,
> since you can choose the output device directly from the shell.

Cheers




  parent reply	other threads:[~2024-01-20  0:52 UTC|newest]

Thread overview: 112+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2024-01-17 23:03 [bug#68556] [PATCH gnome-team 00/25] Update the GNOME Shell extensions Vivien Kraus via Guix-patches via
2024-01-16 21:30 ` [bug#68556] [PATCH gnome-team 01/25] gnu: gnome-shell-extension-dash-to-dock: Update to 79 Vivien Kraus via Guix-patches via
2024-01-16 21:31 ` [bug#68556] [PATCH gnome-team 02/25] gnu: gnome-shell-extension-hide-app-icon: Modernize style Vivien Kraus via Guix-patches via
2024-01-16 21:31 ` [bug#68556] [PATCH gnome-team 04/25] gnu: gnome-shell-extension-dash-to-panel: Update to 56 Vivien Kraus via Guix-patches via
2024-01-16 21:35 ` [bug#68556] [PATCH gnome-team 05/25] gnu: gnome-shell-extension-unite-shell: Update to 72 Vivien Kraus via Guix-patches via
2024-01-16 21:40 ` [bug#68556] [PATCH gnome-team 06/25] gnu: gnome-shell-extension-appindicator: Update to 53 Vivien Kraus via Guix-patches via
2024-01-16 21:41 ` [bug#68556] [PATCH gnome-team 07/25] gnu: gnome-shell-extension-clipboard-indicator: Update to 47 Vivien Kraus via Guix-patches via
2024-01-16 21:47 ` [bug#68556] [PATCH gnome-team 08/25] gnu: gnome-shell-extensions-customize-ibus: Update to 86 Vivien Kraus via Guix-patches via
2024-01-16 21:50 ` [bug#68556] [PATCH gnome-team 09/25] gnu: gnome-shell-extension-topicons-redux: Update style Vivien Kraus via Guix-patches via
2024-01-16 21:59 ` [bug#68556] [PATCH gnome-team 10/25] gnu: gnome-shell-extension-gsconnect: Update to 55 Vivien Kraus via Guix-patches via
2024-01-17 16:20 ` [bug#68556] [PATCH gnome-team 03/25] gnu: Remove gnome-shell-extension-hide-app-icon Vivien Kraus via Guix-patches via
2024-01-17 21:35 ` [bug#68556] [PATCH gnome-team 11/25] gnu: gnome-shell-extension-blur-my-shell: Update to 47 Vivien Kraus via Guix-patches via
2024-01-17 21:57 ` [bug#68556] [PATCH gnome-team 12/25] gnu: gnome-shell-extension-burn-my-windows: Update to 40 Vivien Kraus via Guix-patches via
2024-01-17 22:19 ` [bug#68556] [PATCH gnome-team 13/25] gnu: gnome-shell-extension-radio: Update to 21 Vivien Kraus via Guix-patches via
2024-01-17 22:23 ` [bug#68556] [PATCH gnome-team 14/25] gnu: gnome-shell-extension-jiggle: Update style Vivien Kraus via Guix-patches via
2024-01-17 22:25 ` [bug#68556] [PATCH gnome-team 16/25] gnu: gnome-shell-extension-just-perfection: Update to 26.0 Vivien Kraus via Guix-patches via
2024-01-17 22:26 ` [bug#68556] [PATCH gnome-team 15/25] gnu: Remove gnome-shell-extension-jiggle Vivien Kraus via Guix-patches via
2024-01-17 22:30 ` [bug#68556] [PATCH gnome-team 17/25] gnu: gnome-shell-extension-night-theme-switcher: Update to 74 Vivien Kraus via Guix-patches via
2024-01-17 22:32 ` [bug#68556] [PATCH gnome-team 18/25] gnu: gnome-shell-extension-noannoyance: Update style Vivien Kraus via Guix-patches via
2024-01-17 22:33 ` [bug#68556] [PATCH gnome-team 19/25] gnu: Remove gnome-shell-extension-noannoyance Vivien Kraus via Guix-patches via
2024-01-17 22:36 ` [bug#68556] [PATCH gnome-team 20/25] gnu: gnome-shell-extension-paperwm: Update to 44.17.0 Vivien Kraus via Guix-patches via
2024-01-17 22:40 ` [bug#68556] [PATCH gnome-team 21/25] gnu: Remove gnome-shell-extension-sound-output-device-chooser Vivien Kraus via Guix-patches via
2024-01-17 22:42 ` [bug#68556] [PATCH gnome-team 22/25] gnu: Remove gnome-shell-extension-topicons-redux Vivien Kraus via Guix-patches via
2024-01-17 22:45 ` [bug#68556] [PATCH gnome-team 23/25] gnu: Remove gnome-shell-extension-transparent-window Vivien Kraus via Guix-patches via
2024-01-17 22:48 ` [bug#68556] [PATCH gnome-team 24/25] gnu: gnome-shell-extension-vertical-overview: Update style Vivien Kraus via Guix-patches via
2024-01-18  5:24   ` Liliana Marie Prikler
2024-01-18 11:38     ` Vivien Kraus via Guix-patches via
2024-01-18 19:53       ` Liliana Marie Prikler
2024-01-17 22:49 ` [bug#68556] [PATCH gnome-team 25/25] gnu: Remove gnome-shell-extension-vertical-overview Vivien Kraus via Guix-patches via
2024-01-19 21:50 ` [bug#68556] [PATCH gnome-team v2 00/23] Update extensions with 3 replacements Vivien Kraus via Guix-patches via
2024-01-16 21:30   ` [bug#68556] [PATCH gnome-team v2 01/23] gnu: gnome-shell-extension-dash-to-dock: Update to 79 Vivien Kraus via Guix-patches via
2024-01-16 21:31   ` [bug#68556] [PATCH gnome-team v2 04/23] gnu: gnome-shell-extension-dash-to-panel: Update to 56 Vivien Kraus via Guix-patches via
2024-01-16 21:35   ` [bug#68556] [PATCH gnome-team v2 05/23] gnu: gnome-shell-extension-unite-shell: Update to 72 Vivien Kraus via Guix-patches via
2024-01-16 21:40   ` [bug#68556] [PATCH gnome-team v2 06/23] gnu: gnome-shell-extension-appindicator: Update to 53 Vivien Kraus via Guix-patches via
2024-01-16 21:41   ` [bug#68556] [PATCH gnome-team v2 07/23] gnu: gnome-shell-extension-clipboard-indicator: Update to 47 Vivien Kraus via Guix-patches via
2024-01-16 21:47   ` [bug#68556] [PATCH gnome-team v2 08/23] gnu: gnome-shell-extensions-customize-ibus: Update to 86 Vivien Kraus via Guix-patches via
2024-01-16 21:50   ` [bug#68556] [PATCH gnome-team v2 09/23] gnu: gnome-shell-extension-topicons-redux: Update style Vivien Kraus via Guix-patches via
2024-01-16 21:59   ` [bug#68556] [PATCH gnome-team v2 10/23] gnu: gnome-shell-extension-gsconnect: Update to 55 Vivien Kraus via Guix-patches via
2024-01-17 16:20   ` [bug#68556] [PATCH gnome-team v2 03/23] gnu: gnome-shell-extension-hide-app-icon: Deprecate Vivien Kraus via Guix-patches via
2024-01-19 22:20     ` Vivien Kraus via Guix-patches via
2024-01-17 21:35   ` [bug#68556] [PATCH gnome-team v2 11/23] gnu: gnome-shell-extension-blur-my-shell: Update to 47 Vivien Kraus via Guix-patches via
2024-01-17 21:57   ` [bug#68556] [PATCH gnome-team v2 12/23] gnu: gnome-shell-extension-burn-my-windows: Update to 40 Vivien Kraus via Guix-patches via
2024-01-17 22:19   ` [bug#68556] [PATCH gnome-team v2 13/23] gnu: gnome-shell-extension-radio: Update to 21 Vivien Kraus via Guix-patches via
2024-01-17 22:25   ` [bug#68556] [PATCH gnome-team v2 02/23] gnu: gnome-shell-extension-just-perfection: Update to 26.0 Vivien Kraus via Guix-patches via
2024-01-17 22:26   ` [bug#68556] [PATCH gnome-team v2 14/23] gnu: Remove gnome-shell-extension-jiggle Vivien Kraus via Guix-patches via
2024-01-17 22:30   ` [bug#68556] [PATCH gnome-team v2 15/23] gnu: gnome-shell-extension-night-theme-switcher: Update to 74 Vivien Kraus via Guix-patches via
2024-01-17 22:32   ` [bug#68556] [PATCH gnome-team v2 16/23] gnu: Add gnome-shell-extension-noannoyance-fork Vivien Kraus via Guix-patches via
2024-01-19 22:33     ` Liliana Marie Prikler
2024-01-19 22:35       ` Vivien Kraus via Guix-patches via
2024-01-19 23:35         ` Liliana Marie Prikler
2024-01-17 22:36   ` [bug#68556] [PATCH gnome-team v2 18/23] gnu: gnome-shell-extension-paperwm: Update to 44.17.0 Vivien Kraus via Guix-patches via
2024-01-19 22:37     ` Liliana Marie Prikler
2024-01-17 22:40   ` [bug#68556] [PATCH gnome-team v2 19/23] gnu: Remove gnome-shell-extension-sound-output-device-chooser Vivien Kraus via Guix-patches via
2024-01-17 22:42   ` [bug#68556] [PATCH gnome-team v2 20/23] gnu: Remove gnome-shell-extension-topicons-redux Vivien Kraus via Guix-patches via
2024-01-17 22:45   ` [bug#68556] [PATCH gnome-team v2 21/23] gnu: Remove gnome-shell-extension-transparent-window Vivien Kraus via Guix-patches via
2024-01-18 18:19   ` [bug#68556] [PATCH gnome-team v2 22/23] gnu: Add gnome-shell-extension-v-shell Vivien Kraus via Guix-patches via
2024-01-18 18:19   ` [bug#68556] [PATCH gnome-team v2 23/23] gnu: gnome-shell-extension-vertical-overview: Deprecate Vivien Kraus via Guix-patches via
2024-01-19 21:11   ` [bug#68556] [PATCH gnome-team v2 17/23] gnu: gnome-shell-extension-noannoyance: Deprecate Vivien Kraus via Guix-patches via
2024-01-19 23:40   ` [bug#68556] [PATCH gnome-team v2 00/23] Update extensions with 3 replacements Liliana Marie Prikler
2024-01-20  0:11 ` [bug#68556] [PATCH gnome-team v3 0/7] [PATCH gnome-team v3 0/7] Update extensions (2/5 replaced, 2/5 no solution, 1/5 redundant) Vivien Kraus via Guix-patches via
2024-01-17 22:26   ` [bug#68556] [PATCH gnome-team v3 5/7] gnu: Remove gnome-shell-extension-jiggle Vivien Kraus via Guix-patches via
2024-01-20  0:41     ` Liliana Marie Prikler
2024-01-20  0:53       ` Vivien Kraus via Guix-patches via
2024-01-17 22:32   ` [bug#68556] [PATCH gnome-team v3 3/7] gnu: gnome-shell-extension-noannoyance: Switch to fork Vivien Kraus via Guix-patches via
2024-01-20  0:40     ` Liliana Marie Prikler
2024-01-20  9:06       ` Vivien Kraus via Guix-patches via
2024-01-20 10:11         ` Liliana Marie Prikler
2024-01-17 22:40   ` [bug#68556] [PATCH gnome-team v3 7/7] gnu: Remove gnome-shell-extension-sound-output-device-chooser Vivien Kraus via Guix-patches via
2024-01-17 22:42   ` [bug#68556] [PATCH gnome-team v3 4/7] gnu: gnome-shell-extension-topicons-redux: Deprecate Vivien Kraus via Guix-patches via
2024-01-17 22:45   ` [bug#68556] [PATCH gnome-team v3 6/7] gnu: Remove gnome-shell-extension-transparent-window Vivien Kraus via Guix-patches via
2024-01-19 22:36   ` [bug#68556] [PATCH gnome-team v3 2/7] gnu: gnome-shell-extensions: Propagate gnome-menus Vivien Kraus via Guix-patches via
2024-01-19 22:50   ` [bug#68556] [PATCH gnome-team v3 1/7] gnu: gnome-menus: Build GObject Introspection data Vivien Kraus via Guix-patches via
2024-01-20  0:51   ` Liliana Marie Prikler [this message]
2024-01-20 11:02 ` [bug#68556] [PATCH gnome-team v4 0/8] Update the gnome-shell extensions and wrap more Vivien Kraus via Guix-patches via
2024-01-17 22:26   ` [bug#68556] [PATCH gnome-team v4 6/8] gnu: Remove gnome-shell-extension-jiggle Vivien Kraus via Guix-patches via
2024-01-17 22:32   ` [bug#68556] [PATCH gnome-team v4 4/8] gnu: gnome-shell-extension-noannoyance: Switch to fork Vivien Kraus via Guix-patches via
2024-01-17 22:40   ` [bug#68556] [PATCH gnome-team v4 8/8] gnu: Remove gnome-shell-extension-sound-output-device-chooser Vivien Kraus via Guix-patches via
2024-01-17 22:42   ` [bug#68556] [PATCH gnome-team v4 5/8] gnu: gnome-shell-extension-topicons-redux: Deprecate Vivien Kraus via Guix-patches via
2024-01-17 22:45   ` [bug#68556] [PATCH gnome-team v4 7/8] gnu: Remove gnome-shell-extension-transparent-window Vivien Kraus via Guix-patches via
2024-01-19 22:36   ` [bug#68556] [PATCH gnome-team v4 2/8] gnu: gnome-shell-extensions: Wrap apps-menu Vivien Kraus via Guix-patches via
2024-01-19 22:50   ` [bug#68556] [PATCH gnome-team v4 1/8] gnu: gnome-menus: Build GObject Introspection data Vivien Kraus via Guix-patches via
2024-01-20 10:38   ` [bug#68556] [PATCH gnome-team v4 3/8] gnu: gnome-shell-extensions: Wrap all the extensions Vivien Kraus via Guix-patches via
2024-01-29 19:56 ` [bug#68556] [PATCH gnome-team v5 0/8] Wrap gnome-shell-extensions with gobject-introspection in native-inputs Vivien Kraus via Guix-patches via
2024-01-17 22:26   ` [bug#68556] [PATCH gnome-team v5 6/8] gnu: Remove gnome-shell-extension-jiggle Vivien Kraus via Guix-patches via
2024-01-17 22:32   ` [bug#68556] [PATCH gnome-team v5 4/8] gnu: gnome-shell-extension-noannoyance: Switch to fork Vivien Kraus via Guix-patches via
2024-01-17 22:40   ` [bug#68556] [PATCH gnome-team v5 8/8] gnu: Remove gnome-shell-extension-sound-output-device-chooser Vivien Kraus via Guix-patches via
2024-01-17 22:42   ` [bug#68556] [PATCH gnome-team v5 5/8] gnu: gnome-shell-extension-topicons-redux: Deprecate Vivien Kraus via Guix-patches via
2024-01-17 22:45   ` [bug#68556] [PATCH gnome-team v5 7/8] gnu: Remove gnome-shell-extension-transparent-window Vivien Kraus via Guix-patches via
2024-01-19 22:36   ` [bug#68556] [PATCH gnome-team v5 2/8] gnu: gnome-shell-extensions: Wrap apps-menu Vivien Kraus via Guix-patches via
2024-01-19 22:50   ` [bug#68556] [PATCH gnome-team v5 1/8] gnu: gnome-menus: Build GObject Introspection data Vivien Kraus via Guix-patches via
2024-01-20 10:38   ` [bug#68556] [PATCH gnome-team v5 3/8] gnu: gnome-shell-extensions: Wrap all the extensions Vivien Kraus via Guix-patches via
2024-02-03 14:58     ` Liliana Marie Prikler
2024-01-29 20:53   ` [bug#68556] [PATCH gnome-team v5 0/8] Wrap gnome-shell-extensions with gobject-introspection in native-inputs Liliana Marie Prikler
2024-01-29 21:45     ` Vivien Kraus via Guix-patches via
2024-02-03 18:17 ` [bug#68556] [PATCH gnome-team v6 0/7] Wrap the extensions with (guix build utils) tools Vivien Kraus via Guix-patches via
2024-01-17 22:26   ` [bug#68556] [PATCH gnome-team v6 5/7] gnu: Remove gnome-shell-extension-jiggle Vivien Kraus via Guix-patches via
2024-01-17 22:32   ` [bug#68556] [PATCH gnome-team v6 3/7] gnu: gnome-shell-extension-noannoyance: Switch to fork Vivien Kraus via Guix-patches via
2024-01-17 22:40   ` [bug#68556] [PATCH gnome-team v6 7/7] gnu: Remove gnome-shell-extension-sound-output-device-chooser Vivien Kraus via Guix-patches via
2024-01-17 22:42   ` [bug#68556] [PATCH gnome-team v6 4/7] gnu: gnome-shell-extension-topicons-redux: Deprecate Vivien Kraus via Guix-patches via
2024-01-17 22:45   ` [bug#68556] [PATCH gnome-team v6 6/7] gnu: Remove gnome-shell-extension-transparent-window Vivien Kraus via Guix-patches via
2024-01-19 22:36   ` [bug#68556] [PATCH gnome-team v6 2/7] gnu: gnome-shell-extensions: Wrap the extensions Vivien Kraus via Guix-patches via
2024-02-03 23:45     ` Liliana Marie Prikler
2024-01-19 22:50   ` [bug#68556] [PATCH gnome-team v6 1/7] gnu: gnome-menus: Build GObject Introspection data Vivien Kraus via Guix-patches via
2024-02-04  7:00 ` [bug#68556] [PATCH gnome-team v7 0/7] Wrap all the extensions at once with dump-port Vivien Kraus via Guix-patches via
2024-01-17 22:26   ` [bug#68556] [PATCH gnome-team v7 5/7] gnu: Remove gnome-shell-extension-jiggle Vivien Kraus via Guix-patches via
2024-01-17 22:32   ` [bug#68556] [PATCH gnome-team v7 3/7] gnu: gnome-shell-extension-noannoyance: Switch to fork Vivien Kraus via Guix-patches via
2024-01-17 22:40   ` [bug#68556] [PATCH gnome-team v7 7/7] gnu: Remove gnome-shell-extension-sound-output-device-chooser Vivien Kraus via Guix-patches via
2024-01-17 22:42   ` [bug#68556] [PATCH gnome-team v7 4/7] gnu: gnome-shell-extension-topicons-redux: Deprecate Vivien Kraus via Guix-patches via
2024-01-17 22:45   ` [bug#68556] [PATCH gnome-team v7 6/7] gnu: Remove gnome-shell-extension-transparent-window Vivien Kraus via Guix-patches via
2024-01-19 22:36   ` [bug#68556] [PATCH gnome-team v7 2/7] gnu: gnome-shell-extensions: Wrap the extensions Vivien Kraus via Guix-patches via
2024-01-19 22:50   ` [bug#68556] [PATCH gnome-team v7 1/7] gnu: gnome-menus: Build GObject Introspection data Vivien Kraus via Guix-patches via
2024-02-04 20:30   ` bug#68556: [PATCH gnome-team v7 0/7] Wrap all the extensions at once with dump-port Liliana Marie Prikler

Reply instructions:

You may reply publicly to this message via plain-text email
using any one of the following methods:

* Save the following mbox file, import it into your mail client,
  and reply-to-all from there: mbox

  Avoid top-posting and favor interleaved quoting:
  https://en.wikipedia.org/wiki/Posting_style#Interleaved_style

  List information: https://guix.gnu.org/

* Reply using the --to, --cc, and --in-reply-to
  switches of git-send-email(1):

  git send-email \
    --in-reply-to=a0e787b1aedb4a940be1d7e3d11069f7c31c75f9.camel@gmail.com \
    --to=liliana.prikler@gmail.com \
    --cc=68556@debbugs.gnu.org \
    --cc=maxim.cournoyer@gmail.com \
    --cc=rg@raghavgururajan.name \
    --cc=vivien@planete-kraus.eu \
    /path/to/YOUR_REPLY

  https://kernel.org/pub/software/scm/git/docs/git-send-email.html

* If your mail client supports setting the In-Reply-To header
  via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line before the message body.
Code repositories for project(s) associated with this public inbox

	https://git.savannah.gnu.org/cgit/guix.git

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for read-only IMAP folder(s) and NNTP newsgroup(s).