emacs-bug-tracker
[Top][All Lists]
Advanced

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

bug#65533: closed ([PATCH] gnu: anki: Fix preferences error.)


From: GNU bug Tracking System
Subject: bug#65533: closed ([PATCH] gnu: anki: Fix preferences error.)
Date: Mon, 28 Aug 2023 10:55:03 +0000

Your message dated Mon, 28 Aug 2023 18:54:49 +0800
with message-id <877cpfphc6.fsf@envs.net>
and subject line Re: [bug#65533] [PATCH] gnu: anki: Fix preferences error.
has caused the debbugs.gnu.org bug report #65533,
regarding [PATCH] gnu: anki: Fix preferences error.
to be marked as done.

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


-- 
65533: https://debbugs.gnu.org/cgi/bugreport.cgi?bug=65533
GNU Bug Tracking System
Contact help-debbugs@gnu.org with problems
--- Begin Message --- Subject: [PATCH] gnu: anki: Fix preferences error. Date: Fri, 25 Aug 2023 20:49:50 +0800
From: 宋文武 <iyzsong@member.fsf.org>

Fixes <https://issues.guix.gnu.org/65506>.

* gnu/packages/education.scm (anki)[source]: Add snippet.
---
 gnu/packages/education.scm | 7 +++++++
 1 file changed, 7 insertions(+)

diff --git a/gnu/packages/education.scm b/gnu/packages/education.scm
index bb307cf7ab..21c8a60c0b 100644
--- a/gnu/packages/education.scm
+++ b/gnu/packages/education.scm
@@ -737,6 +737,13 @@ (define-public anki
                            version "-source.tgz"))
        (sha256
         (base32 "1gfr51rnllkyzli73p4r51h5ypzfa3m7lic3m3rzpywmqwrxs07k"))
+       (modules '((guix build utils)))
+       ;; #65506 Fix preferences error.
+       (snippet '(substitute* "aqt/preferences.py"
+                   (("qc\\['collapseTime']/60\\.0" x)
+                    (format #f "int(~a)" x))
+                   (("qc\\['timeLim']/60\\.0" x)
+                    (format #f "int(~a)" x))))
        (patches (search-patches "anki-mpv-args.patch"))))
     (build-system gnu-build-system)
     (arguments

base-commit: 1c916c167b7eb1f2f8af2cf621aa1512b00b1033
-- 
2.41.0




--- End Message ---
--- Begin Message --- Subject: Re: [bug#65533] [PATCH] gnu: anki: Fix preferences error. Date: Mon, 28 Aug 2023 18:54:49 +0800 User-agent: Gnus/5.13 (Gnus v5.13) Emacs/28.2 (gnu/linux)
>
> * gnu/packages/education.scm (anki)[source]: Add snippet.
> ---
>  gnu/packages/education.scm | 7 +++++++
>  1 file changed, 7 insertions(+)
>
> diff --git a/gnu/packages/education.scm b/gnu/packages/education.scm
> index bb307cf7ab..21c8a60c0b 100644
> --- a/gnu/packages/education.scm
> +++ b/gnu/packages/education.scm
> @@ -737,6 +737,13 @@ (define-public anki
>                             version "-source.tgz"))
>         (sha256
>          (base32 "1gfr51rnllkyzli73p4r51h5ypzfa3m7lic3m3rzpywmqwrxs07k"))
> +       (modules '((guix build utils)))
> +       ;; #65506 Fix preferences error.
> +       (snippet '(substitute* "aqt/preferences.py"
> +                   (("qc\\['collapseTime']/60\\.0" x)
> +                    (format #f "int(~a)" x))
> +                   (("qc\\['timeLim']/60\\.0" x)
> +                    (format #f "int(~a)" x))))
>         (patches (search-patches "anki-mpv-args.patch"))))
>      (build-system gnu-build-system)
>      (arguments
>
> base-commit: 1c916c167b7eb1f2f8af2cf621aa1512b00b1033


Pushed now, closing.


--- End Message ---

reply via email to

[Prev in Thread] Current Thread [Next in Thread]