GNU bug report logs - #56139
[PATCH 0/4] Make window managers use libinput-minimal instead of libinput

Previous Next

Package: guix-patches;

Reported by: Josselin Poiret <dev <at> jpoiret.xyz>

Date: Wed, 22 Jun 2022 12:16:01 UTC

Severity: normal

Tags: patch

Done: Ludovic Courtès <ludo <at> gnu.org>

Bug is archived. No further changes may be made.

Full log


View this message in rfc822 format

From: help-debbugs <at> gnu.org (GNU bug Tracking System)
To: Ludovic Courtès <ludo <at> gnu.org>
Cc: tracker <at> debbugs.gnu.org
Subject: bug#56139: closed ([PATCH 0/4] Make window managers use
 libinput-minimal instead of libinput)
Date: Thu, 23 Jun 2022 20:22:02 +0000
[Message part 1 (text/plain, inline)]
Your message dated Thu, 23 Jun 2022 22:20:49 +0200
with message-id <87czezxhb2.fsf <at> gnu.org>
and subject line Re: bug#56139: [PATCH 0/4] Make window managers use libinput-minimal instead of libinput
has caused the debbugs.gnu.org bug report #56139,
regarding [PATCH 0/4] Make window managers use libinput-minimal instead of libinput
to be marked as done.

(If you believe you have received this mail in error, please contact
help-debbugs <at> gnu.org.)


-- 
56139: https://debbugs.gnu.org/cgi/bugreport.cgi?bug=56139
GNU Bug Tracking System
Contact help-debbugs <at> gnu.org with problems
[Message part 2 (message/rfc822, inline)]
From: Josselin Poiret <dev <at> jpoiret.xyz>
To: guix-patches <at> gnu.org
Cc: Josselin Poiret <dev <at> jpoiret.xyz>
Subject: [PATCH 0/4] Make window managers use libinput-minimal instead of
 libinput
Date: Wed, 22 Jun 2022 14:14:15 +0200
This reduces their total closure, since libinput pulls in gtk+ which
adds roughly 400MiB.

Josselin Poiret (4):
  gnu: wlroots: Replace input libinput by libinput-minimal.
  gnu: sway: Replace input libinput by libinput-minimal.
  gnu: waybar: Replace input libinput by libinput-minimal.
  gnu: hikari: Replace input libinput by libinput-minimal.

 gnu/packages/wm.scm | 8 ++++----
 1 file changed, 4 insertions(+), 4 deletions(-)


base-commit: e74fa406e1043547242a8b67ab9907fea7aae6b9
-- 
2.36.1



[Message part 3 (message/rfc822, inline)]
From: Ludovic Courtès <ludo <at> gnu.org>
To: Josselin Poiret <dev <at> jpoiret.xyz>
Cc: 56139-done <at> debbugs.gnu.org
Subject: Re: bug#56139: [PATCH 0/4] Make window managers use
 libinput-minimal instead of libinput
Date: Thu, 23 Jun 2022 22:20:49 +0200
Hi,

Josselin Poiret <dev <at> jpoiret.xyz> skribis:

> This reduces their total closure, since libinput pulls in gtk+ which
> adds roughly 400MiB.

Good catch; applied, thanks!

It never occurred to me that it could depend on GTK+; apparently that’s
for some debugging GUI, but it’s not clear how it’s supposed to get
invoked:

--8<---------------cut here---------------start------------->8---
$ grep -r 2i4ykhraljp7jhhs76v44c51kkz31f01 $(guix build libinput)
grep: /gnu/store/brbdvjj4k9g80c2vdv8cfkckwd1q9dsk-libinput-1.19.2/libexec/libinput/libinput-debug-gui: binary file matches
grep: /gnu/store/brbdvjj4k9g80c2vdv8cfkckwd1q9dsk-libinput-1.19.2/etc/ld.so.cache: binary file matches
$ grep -r libinput-debug-gui $(guix build libinput)
$ echo $?
1
--8<---------------cut here---------------end--------------->8---

What’s is it used for?

Ludo’.


This bug report was last modified 3 years and 23 days ago.

Previous Next


GNU bug tracking system
Copyright (C) 1999 Darren O. Benham, 1997,2003 nCipher Corporation Ltd, 1994-97 Ian Jackson.