On 21.06.19 00:06, Thomas Morley wrote:
Am Do., 20. Juni 2019 um 13:12 Uhr schrieb Thomas Morley
:
Does it not work for subsequent builds of the same branch?
I think I've found a workaround.
Following CG, I'm already used to do some prepatory work while doing
subsequent gub-builds, i.e.:
rm
Am Do., 20. Juni 2019 um 13:12 Uhr schrieb Thomas Morley
:
> Does it not work for subsequent builds of the same branch?
I think I've found a workaround.
Following CG, I'm already used to do some prepatory work while doing
subsequent gub-builds, i.e.:
rm -fr gub/uploads
rm -rf
Am Mi., 19. Juni 2019 um 00:41 Uhr schrieb Knut Petersen
:
>
> Hi Harm!
>
> Not sure how to proceed. Any hint?
>
> Trivial omission on my side, I did not expect that someone would try use
> relative paths. Don't use '..' in arguments #1 and #2. Both of the
> folllowing commands should work:
>
>
Hi Harm!
Not sure how to proceed. Any hint?
Trivial omission on my side, I did not expect that someone would try use
relative paths. Don't use '..' in arguments #1 and #2. Both of the folllowing
commands should work:
~/bin/gubllb ~/gub ~/lilypond-git dev/gub-test
~/bin/gublib
Am So., 16. Juni 2019 um 17:26 Uhr schrieb Knut Petersen
:
>
> On 16.06.19 10:34, Thomas Morley wrote:
>
> You might want to kill the git daemon after building lilypond. Or you might
> want systemd to start the git daemon whenever the machine boots.
>
> I don't know how to do any of above, could
On 16.06.19 10:34, Thomas Morley wrote:
You might want to kill the git daemon after building lilypond. Or you might
want systemd to start the git daemon whenever the machine boots.
I don't know how to do any of above, could you give me some hints?
Attached is a quickshot bash script gubllb.
Hi Knut,
Am Fr., 14. Juni 2019 um 00:32 Uhr schrieb Knut Petersen
:
>
> Hi Harm!
>
> Is it possible to point GUB to a private branch of my local git-repository?
>
> It definitely is possible. Use git as a daemon on localhost.
>
> If yes, how would the command been spelled?
>
> Assumptions:
>
>
Hi Harm!
Is it possible to point GUB to a private branch of my local git-repository?
It definitely is possible. Use git as a daemon on localhost.
If yes, how would the command been spelled?
Assumptions:
* gub is installed in ~/gub
* there isn't a directory ~/srv
* the git executable
Am Di., 11. Juni 2019 um 21:27 Uhr schrieb David Kastrup :
>
> Thomas Morley writes:
>
> > Am Di., 11. Juni 2019 um 18:35 Uhr schrieb Thomas Morley
> > :
> >>
> >> Am Di., 11. Juni 2019 um 17:57 Uhr schrieb Thomas Morley
> >> :
> >>
> >> > Just for fun I then tried to go for
> >> >
Thomas Morley writes:
> Am Di., 11. Juni 2019 um 18:35 Uhr schrieb Thomas Morley
> :
>>
>> Am Di., 11. Juni 2019 um 17:57 Uhr schrieb Thomas Morley
>> :
>>
>> > Just for fun I then tried to go for
>> > https://github.com/lilypond/lilypond
>> > a repository once set up by Janek.
>> > ~/gub
Am Di., 11. Juni 2019 um 18:35 Uhr schrieb David Kastrup :
>
> Thomas Morley writes:
>
> > Am So., 9. Juni 2019 um 11:10 Uhr schrieb David Kastrup :
> >>
> >> Federico Bruni writes:
> >>
> >> > Il giorno sab 8 giu 2019 alle 13:10, Phil Holmes
> >> > ha scritto:
> >> >> I think David is
Am Di., 11. Juni 2019 um 18:35 Uhr schrieb Thomas Morley
:
>
> Am Di., 11. Juni 2019 um 17:57 Uhr schrieb Thomas Morley
> :
>
> > Just for fun I then tried to go for
> > https://github.com/lilypond/lilypond
> > a repository once set up by Janek.
> > ~/gub (master)$ make
> >
Thomas Morley writes:
> Am So., 9. Juni 2019 um 11:10 Uhr schrieb David Kastrup :
>>
>> Federico Bruni writes:
>>
>> > Il giorno sab 8 giu 2019 alle 13:10, Phil Holmes
>> > ha scritto:
>> >> I think David is suggesting it's strange that GUB can only use the
>> >> Savannah repo, not any git
quot;
> Sent: Tuesday, June 11, 2019 3:57 PM
> Subject: Re: GUB with local git-repo?
>
>
> >> For me, an even bigger
> >> problem is that GUB only does partial builds from master, not a branch of
> >> choise.
> >
> > Here I don't understand. Obvi
Am Di., 11. Juni 2019 um 17:57 Uhr schrieb Thomas Morley
:
> Just for fun I then tried to go for
> https://github.com/lilypond/lilypond
> a repository once set up by Janek.
> ~/gub (master)$ make
> LILYPOND_REPO_URL=https://github.com/lilypond/lilypond.git lilypond
> =>
[...]
> make: ***
Am So., 9. Juni 2019 um 11:10 Uhr schrieb David Kastrup :
>
> Federico Bruni writes:
>
> > Il giorno sab 8 giu 2019 alle 13:10, Phil Holmes
> > 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
Am Sa., 8. Juni 2019 um 13:10 Uhr schrieb Phil Holmes :
> 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.
Before really trying to go for
Federico Bruni writes:
> Il giorno sab 8 giu 2019 alle 13:10, Phil Holmes
> 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
Il giorno sab 8 giu 2019 alle 13:10, Phil Holmes
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
- Original Message -
From: "Thomas Morley"
To: "David Kastrup"
Cc: "Phil Holmes" ; "lilypond-devel"
Sent: Saturday, June 08, 2019 7:30 AM
Subject: Re: GUB with local git-repo?
Phil, David,
thanks for the hints
Am Fr., 7. Juni 2019 um 13
Phil, David,
thanks for the hints
Am Fr., 7. Juni 2019 um 13:40 Uhr schrieb David Kastrup :
>
> Thomas Morley writes:
>
> > Hi Phil,
> >
> > let's see, if I understand correctly:
> >
> > For a public branch, I'd checkout a local branch, say: dev/issue4943
> > Then make it public with
> > git
Sent: Friday, June 07, 2019 10:47 AM
Subject: Re: GUB with local git-repo?
Am Do., 6. Juni 2019 um 23:15 Uhr schrieb Phil Holmes :
- Original Message -
From: "Thomas Morley"
To: "lilypond-devel"
Sent: Thursday, June 06, 2019 9:27 PM
Subject: GUB with local git-repo
Thomas Morley writes:
> Hi Phil,
>
> let's see, if I understand correctly:
>
> For a public branch, I'd checkout a local branch, say: dev/issue4943
> Then make it public with
> git push origin dev/issue4943
> Further changes added to this branch with
> git push dev/issue4943 HEAD:staging
Am Do., 6. Juni 2019 um 23:15 Uhr schrieb Phil Holmes :
>
> - Original Message -
> From: "Thomas Morley"
> To: "lilypond-devel"
> Sent: Thursday, June 06, 2019 9:27 PM
> Subject: GUB with local git-repo?
>
>
> > Hi,
> >
>
- Original Message -
From: "Thomas Morley"
To: "lilypond-devel"
Sent: Thursday, June 06, 2019 9:27 PM
Subject: GUB with local git-repo?
Hi,
as far as I understand GUB downloads the git-repository. Then `make
lilypond´ would build from master, and `make
LILYPON
Hi,
as far as I understand GUB downloads the git-repository. Then `make
lilypond´ would build from master, and `make
LILYPOND_BRANCH=stable/2.20 lilypond´ would build
lilypond-version-2.20.0.
Is it possible to point GUB to a private branch of my local git-repository?
If yes, how would the
26 matches
Mail list logo