[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: |
Tue, 11 Jun 2019 18:35:03 +0200 |
User-agent: |
Gnus/5.13 (Gnus v5.13) Emacs/27.0.50 (gnu/linux) |
Thomas Morley <address@hidden> writes:
> Am So., 9. Juni 2019 um 11:10 Uhr schrieb David Kastrup <address@hidden>:
>>
>> 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
>
> I tried
>
> ~/gub (master)$ make lilypond
> LILYPOND_REPO_URL=file:///home/hermann/lilypond-git/
Probably the trailing slash?
--
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, 2019/06/09
- Re: GUB with local git-repo?, Thomas Morley, 2019/06/11
- 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?, 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