[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Installing URW++ fonts, issue 4998: why not add wget lines to lilyde
From: |
Karlin High |
Subject: |
Re: Installing URW++ fonts, issue 4998: why not add wget lines to lilydev-setup.sh? |
Date: |
Fri, 6 Oct 2017 14:25:35 -0500 |
On Thu, Oct 5, 2017 at 7:01 AM, Federico Bruni <address@hidden> wrote:
> Anyway, if we decide that the setup script in LilyDev should include your
> proposal, I'll be happy to see a pull request
https://github.com/fedelibre/LilyDev/pull/8
If you decide against including this, I will be OK with that. Perhaps
5 or so :) new contributors might benefit before the fonts get
included in the LilyDev base distro and this issue self-resolves.
--
Karlin High
Missouri, USA
- Installing URW++ fonts, issue 4998: why not add wget lines to lilydev-setup.sh?, Karlin High, 2017/10/04
- Re: Installing URW++ fonts, issue 4998: why not add wget lines to lilydev-setup.sh?, Carl Sorensen, 2017/10/04
- Re: Installing URW++ fonts, issue 4998: why not add wget lines to lilydev-setup.sh?, Karlin High, 2017/10/04
- Re: Installing URW++ fonts, issue 4998: why not add wget lines to lilydev-setup.sh?, Federico Bruni, 2017/10/05
- Re: Installing URW++ fonts, issue 4998: why not add wget lines to lilydev-setup.sh?,
Karlin High <=
- Re: Installing URW++ fonts, issue 4998: why not add wget lines to lilydev-setup.sh?, Federico Bruni, 2017/10/10
- Re: Installing URW++ fonts, issue 4998: why not add wget lines to lilydev-setup.sh?, Karlin High, 2017/10/10
- Re: Installing URW++ fonts, issue 4998: why not add wget lines to lilydev-setup.sh?, David Kastrup, 2017/10/10
- Re: Installing URW++ fonts, issue 4998: why not add wget lines to lilydev-setup.sh?, Thomas Morley, 2017/10/10
- Re: Installing URW++ fonts, issue 4998: why not add wget lines to lilydev-setup.sh?, Knut Petersen, 2017/10/10
- Re: Installing URW++ fonts, issue 4998: why not add wget lines to lilydev-setup.sh?, David Kastrup, 2017/10/10
- Re: Installing URW++ fonts, issue 4998: why not add wget lines to lilydev-setup.sh?, Thomas Morley, 2017/10/10
- Re: Installing URW++ fonts, issue 4998: why not add wget lines to lilydev-setup.sh?, Federico Bruni, 2017/10/10
- Re: Installing URW++ fonts, issue 4998: why not add wget lines to lilydev-setup.sh?, Federico Bruni, 2017/10/25
- Re: Installing URW++ fonts, issue 4998: why not add wget lines to lilydev-setup.sh?, James Lowe, 2017/10/25