bug#35594: bug#36376: Application menu of desktop environment not automatically updated

Hello Ludovic! Ludovic Courtès writes: [...] > So with this new patch it’s monitoring /var/guix/profiles/per-user/USER > and /var/guix/profiles instead, which correctly detects changes. It > detects a bit “too much” (for instance, running ‘guix pull’ triggers the > inotify hook because it

bug#36376: bug#35594: bug#36376: Application menu of desktop environment not automatically updated

Ludovic Courtès skribis: >>From 7d03b2b823951219ece46c7f34e25ae36a8ba12c Mon Sep 17 00:00:00 2001 > From: =?UTF-8?q?Ludovic=20Court=C3=A8s?= > Date: Thu, 12 Nov 2020 16:35:24 +0100 > Subject: [PATCH] gnu: glib: Graft patch to detect changes to the installed > applications. > > Fixes

bug#35594: bug#36376: Application menu of desktop environment not automatically updated

Hi! Ludovic Courtès skribis: > So I went further to test the initial GLib patch I posted in “real > conditions”. I did some more testing using a similar workflow: this time I repeatedly changed the profile (installing/removing packages), which showed that the first patch was buggy (it would

bug#35594: bug#36376: Application menu of desktop environment not automatically updated

Hi, zimoun skribis: > On Tue, 10 Nov 2020 at 16:25, Ludovic Courtès wrote: [...] >> The main downside is extra grafting, which means extra disk and CPU >> usage for our users. However, libx11 (11K dependents) is also grafted, >> so it shouldn’t make things worse (GLib has 6K dependents). >

bug#35594: bug#36376: Application menu of desktop environment not automatically updated

Hello Ludovic and Leo, Leo Prikler writes: > Hi Ludo, > > Am Dienstag, den 03.11.2020, 23:46 +0100 schrieb Ludovic Courtès: >> Ludovic Courtès skribis: >> >> > This is not news to us, but as >> > notes, >> > the >> > application menu