GNU bug report logs - #55085
[PATCH] gfeeds 0.16.2: Make it run

Previous Next

Full log

View this message in rfc822 format

From: help-debbugs <at> gnu.org (GNU bug Tracking System)
To: Luis Felipe <luis.felipe.la <at> protonmail.com>
Subject: bug#55085: closed (Re: bug#55085: [PATCH] gfeeds 0.16.2: Make it run)
Date: Tue, 26 Apr 2022 09:10:02 +0000

[Message part 1 (text/plain, inline)]

Your bug report

#55085: [PATCH] gfeeds 0.16.2: Make it run

which was filed against the guix-patches package, has been closed.

The explanation is attached below, along with your original report.
If you require more details, please reply to 55085 <at> debbugs.gnu.org.

-- 
55085: https://debbugs.gnu.org/cgi/bugreport.cgi?bug=55085
GNU Bug Tracking System
Contact help-debbugs <at> gnu.org with problems

[Message part 2 (message/rfc822, inline)]

From: Mathieu Othacehe <othacehe <at> gnu.org>
To: Luis Felipe <luis.felipe.la <at> protonmail.com>
Cc: 55085-done <at> debbugs.gnu.org
Subject: Re: bug#55085: [PATCH] gfeeds 0.16.2: Make it run
Date: Tue, 26 Apr 2022 11:09:26 +0200

Hey Luis,

> I attach a patch that makes the program import WebKit 4.1
> instead. This makes the program work. As far as I could see, there is
> no package in Guix that provides WebKit 4.0, so I left the inputs
> untouched.

Seems fair, pushed!

Thanks,

Mathieu

[Message part 3 (message/rfc822, inline)]

From: Luis Felipe <luis.felipe.la <at> protonmail.com>
To: Luis Felipe via Guix-patches <guix-patches <at> gnu.org>
Subject: [PATCH] gfeeds 0.16.2: Make it run
Date: Sat, 23 Apr 2022 20:00:59 +0000

[Message part 4 (text/plain, inline)]

This program fails to run. I attach a patch that makes it work.

SYSTEM INFORMATION

Guix system with the following Guix.

Generation 55	Apr 18 2022 11:42:09	(current)
  guix 237d90a
    repository URL: https://git.savannah.gnu.org/git/guix.git
    branch: master
    commit: 237d90a7808cfdced34b34595eba16632cbcb89e


STEPS TO REPRODUCE

guix shell gfeeds -- gfeeds
Traceback (most recent call last):
  File "/gnu/store/8vbjfdq9dv8cscs28vq9iabmkz4zkqcg-gfeeds-0.16.2/bin/.gfeeds-real", line 64, in <module>
    gi.require_version('WebKit2', '4.0')
  File "/home/yo/.guix-profile/lib/python3.9/site-packages/gi/__init__.py", line 129, in require_version
    raise ValueError('Namespace %s not available for version %s' %
ValueError: Namespace WebKit2 not available for version 4.0


ADDITIONAL INFORMATION

The problem seems to be that the current inputs of gfeeds don't provide WebKit2 4.0 but WebKit 4.1:

❯ guix shell python-pygobject webkitgtk

yo <at> gnu[env]: ~❯ python3
Python 3.9.9 (main, Jan  1 1970, 00:00:01) 

[GCC 10.3.0] on linux
Type "help", "copyright", "credits" or "license" for more information.
>>> import gi
>>> 

>>> # The following fails.
>>> gi.require_version("WebKit2", "4.0")
Traceback (most recent call last):
  File "<stdin>", line 1, in <module>
  File "/home/yo/.guix-profile/lib/python3.9/site-packages/gi/__init__.py", line 129, in require_version
    raise ValueError('Namespace %s not available for version %s' %
ValueError: Namespace WebKit2 not available for version 4.0
>>> 

>>> 

>>> # But the following works.
>>> gi.require_version("WebKit2", "4.1")
>>> 



POSSIBLE SOLUTION

I attach a patch that makes the program import WebKit 4.1 instead. This makes the program work. As far as I could see, there is no package in Guix that provides WebKit 4.0, so I left the inputs untouched.

Another option was to upgrade gfeeds to the latest (v1.0.2), but it required to package new libraries that are not available in Guix (a recent libadwaita, for example), and which I'm not able to package.


Best,

---
Luis Felipe López Acevedo
https://luis-felipe.gitlab.io/

[0001-gnu-gfeeds-Make-it-start.patch (text/x-patch, attachment)]

[publickey - luis.felipe.la@protonmail.com - 0x12DE1598.asc (application/pgp-keys, attachment)]

[signature.asc (application/pgp-signature, attachment)]

Previous Next

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