bug#39783: closed ([PATCH] gnu: gsettings-desktop-schemas: patch monospace font.)

[GNU bug Tracking System]

Your message dated Fri, 20 Mar 2020 19:02:40 +0100
with message-id <address@hidden>
and subject line Re: [bug#39783] [PATCH] gnu: gsettings-desktop-schemas: patch 
monospace font.
has caused the debbugs.gnu.org bug report #39783,
regarding [PATCH] gnu: gsettings-desktop-schemas: patch monospace font.
to be marked as done.

(If you believe you have received this mail in error, please contact
address@hidden.)


-- 
39783: http://debbugs.gnu.org/cgi/bugreport.cgi?bug=39783
GNU Bug Tracking System
Contact address@hidden with problems
> --- Begin Message ---
>
>
>
> Subject: 
>
> [PATCH] gnu: gsettings-desktop-schemas: patch monospace font.
>
>
>
>
> Date: 
>
> Tue, 25 Feb 2020 15:59:10 +0100
>
>
>
>
> * gnu/packages/gnome.scm (gsettings-desktop-schemas)[arguments]<phases>:
> Rename `set-adwaita-theme-file-name' to the more generic `patch-schemas'.
> Add patch for the monospace font (Source Code Pro 10 -> Monospace 11).
> Adjust comments.
> ---
>  gnu/packages/gnome.scm | 10 ++++++----
>  1 file changed, 6 insertions(+), 4 deletions(-)
>
> diff --git a/gnu/packages/gnome.scm b/gnu/packages/gnome.scm
> index af45ceb505..e066b4c93c 100644
> --- a/gnu/packages/gnome.scm
> +++ b/gnu/packages/gnome.scm
> @@ -1575,15 +1575,17 @@ on the GNOME Desktop with a single simple application.")
>      (build-system meson-build-system)
>      (arguments
>       '(#:phases (modify-phases %standard-phases
> -                  (add-after 'unpack 'set-adwaita-theme-file-name
> +                  (add-after 'unpack 'patch-schemas
>                      (lambda* (#:key inputs #:allow-other-keys)
> -                      ;; Provide the correct file name of the default GNOME
> -                      ;; background, 'adwaita-timed.xml'.
>                        (let ((theme (assoc-ref inputs "gnome-backgrounds")))
>                          (substitute* (find-files "schemas"
>                                                   "\\.gschema\\.xml\\.in$")
> +                          ;; Provide the correct file name of the default GNOME
> +                          ;; background, 'adwaita-timed.xml'.
>                            (("@datadir@/backgrounds/gnome")
> -                           (string-append theme "/share/backgrounds/gnome")))
> +                           (string-append theme "/share/backgrounds/gnome"))
> +                          ;; Do not reference fonts, that may not exist.
> +                          (("'Source Code Pro 10'") "'Monospace 11'"))
>                          #t))))))
>      (inputs
>       `(("glib" ,glib)
> -- 
> 2.25.1
>
>
>
>
> --- End Message ---

--- Begin Message --- Subject: Re: [bug#39783] [PATCH] gnu: gsettings-desktop-schemas: patch monospace font. Date: Fri, 20 Mar 2020 19:02:40 +0100 User-agent: Notmuch/0.29.3 (https://notmuchmail.org) Emacs/26.3 (x86_64-pc-linux-gnu)

Leo Prikler <address@hidden> writes:

> * gnu/packages/gnome.scm (gsettings-desktop-schemas)[arguments]<phases>:
> Rename `set-adwaita-theme-file-name' to the more generic `patch-schemas'.
> Add patch for the monospace font (Source Code Pro 10 -> Monospace 11).
> Adjust comments.

Thanks for finding the root cause of the broken default gnome-terminal
font.  Since there has been no feedback in a couple of weeks, I went
ahead and applied it.

I also updated your copyright header.  Thanks!

signature.asc
Description: PGP signature

--- End Message ---