Re: GUB with local git-repo?

2019-06-11 Thread Thomas Morley
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 > >> > https://github.

Re: GUB with local git-repo?

2019-06-11 Thread 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 >> > https://github.com/lilypond/lilypond >> > a repository once set up by Janek. >> > ~/gub (master

Re: GUB with local git-repo?

2019-06-11 Thread Thomas Morley
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 suggestin

Re: GUB with local git-repo?

2019-06-11 Thread Thomas Morley
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 > > LILYPOND_REPO_URL=https:

Re: GUB with local git-repo?

2019-06-11 Thread 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 suggesting it's strange that GUB can only use the >> >> Savannah repo, not any git repo

Re: GUB with local git-repo?

2019-06-11 Thread Thomas Morley
Hi Phil, you probably forgot to reply to all. cc-ing the list again Am Di., 11. Juni 2019 um 17:54 Uhr schrieb Phil Holmes : > > - Original Message - > From: "Thomas Morley" > To: "Phil Holmes" > Cc: "David Kastrup" ; "lilypond-devel" > Sent: Tuesday, June 11, 2019 3:57 PM > Subject: R

Re: GUB with local git-repo?

2019-06-11 Thread 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 > LILYPOND_REPO_URL=https://github.com/lilypond/lilypond.git lilypond > => [...] > make: *** [lilypond

Re: GUB with local git-repo?

2019-06-11 Thread Thomas Morley
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 sur

Re: GUB with local git-repo?

2019-06-11 Thread Thomas Morley
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 some