GNU bug report logs - #33434
[PATCH] gnu: font-ubuntu: Update url.

Previous Next

Package: guix-patches;

Reported by: Jan Nieuwenhuizen <janneke <at> gnu.org>

Date: Mon, 19 Nov 2018 18:05:01 UTC

Severity: normal

Tags: patch

Done: Jan Nieuwenhuizen <janneke <at> gnu.org>

Bug is archived. No further changes may be made.

Full log


Message #11 received at 33434 <at> debbugs.gnu.org (full text, mbox):

From: Leo Famulari <leo <at> famulari.name>
To: Jan Nieuwenhuizen <janneke <at> gnu.org>
Cc: 33434 <at> debbugs.gnu.org
Subject: Re: [bug#33434] [PATCH] gnu: font-ubuntu: Update url.
Date: Mon, 19 Nov 2018 15:41:59 -0500
On Mon, Nov 19, 2018 at 07:04:26PM +0100, Jan Nieuwenhuizen wrote:
> I found the previous URL to no longer work.  I would like to find a
> cleaner url.  WDYT?
> -              (uri (string-append
> -                    "http://font.ubuntu.com/download/ubuntu-font-family-"
> -                    version ".zip"))
> +              (uri (string-append "https://launchpad.net/"
> +                                  "ubuntu/+archive/primary/+sourcefiles/"
> +                                  "ubuntu-font-family-sources/"
> +                                  "0.83-0ubuntu1/"
> +                                  "ubuntu-font-family-sources_0.83"
> +                                  ".orig.tar.gz"))

I found the correct zip file in the download section of this page:

https://design.ubuntu.com/font/

Specifically:

https://assets.ubuntu.com/v1/fad7939b-ubuntu-font-family-0.83.zip

What did you mean about the change being for core-updates?




This bug report was last modified 6 years and 185 days ago.

Previous Next


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