[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: GUB with local git-repo?
From: |
David Kastrup |
Subject: |
Re: GUB with local git-repo? |
Date: |
Sun, 09 Jun 2019 11:10:47 +0200 |
User-agent: |
Gnus/5.13 (Gnus v5.13) Emacs/27.0.50 (gnu/linux) |
Federico Bruni <address@hidden> writes:
> Il giorno sab 8 giu 2019 alle 13:10, Phil Holmes <address@hidden>
> ha scritto:
>> I think David is suggesting it's strange that GUB can only use the
>> Savannah repo, not any git repo of your choice. TBH I'm not sure
>> whether it's a configuration item or hard wired into the GUB code.
>> For me, an even bigger problem is that GUB only does partial builds
>> from master, not a branch of choise.
>
> I haven't tried building GUB for a while but I think you can override
> the environment variables you see in lilypond.make, e.g.:
>
> LILYPOND_REPO_URL=http://my.personal.repo LILYPOND_BRANCH=issue20 make
> lilypond
Probably even
LILYPOND_REPO_URL=file:///my/personal/repo ...
--
David Kastrup
- GUB with local git-repo?, Thomas Morley, 2019/06/06
- Re: GUB with local git-repo?, Phil Holmes, 2019/06/06
- Re: GUB with local git-repo?, Thomas Morley, 2019/06/07
- Re: GUB with local git-repo?, Phil Holmes, 2019/06/07
- Re: GUB with local git-repo?, David Kastrup, 2019/06/07
- Re: GUB with local git-repo?, Thomas Morley, 2019/06/08
- Re: GUB with local git-repo?, Phil Holmes, 2019/06/08
- Re: GUB with local git-repo?, Federico Bruni, 2019/06/09
- Re: GUB with local git-repo?,
David Kastrup <=
- Re: GUB with local git-repo?, Thomas Morley, 2019/06/11
- Re: GUB with local git-repo?, David Kastrup, 2019/06/11
- Re: GUB with local git-repo?, Thomas Morley, 2019/06/11
- Re: GUB with local git-repo?, Thomas Morley, 2019/06/11
- Re: GUB with local git-repo?, Thomas Morley, 2019/06/11
- Re: GUB with local git-repo?, David Kastrup, 2019/06/11
- Re: GUB with local git-repo?, Thomas Morley, 2019/06/11
- Re: GUB with local git-repo?, Thomas Morley, 2019/06/11
- Message not available
- Re: GUB with local git-repo?, Thomas Morley, 2019/06/11
Re: GUB with local git-repo?, Knut Petersen, 2019/06/13