Re: GOP-PROP 11: git repositories

[Wols Lists]

On 06/09/11 18:38, Graham Percival wrote:
> On that note, I wonder if it would be worth standardizing
> everything on LILYPOND_GIT instead of $HOME/lilypond-git.  There
> would be no change to lilydev people, since we'd set that up for
> them, so it's just a matter of changing all the scripts+docs
> appropriately.  Then I wouldn't need the weird symlink on the
> webserver and more experienced developers can put their lilypond
> git repo wherever they want.

AOL.

Using $HOME has just clobbered any multi-user system. If you've got a
couple of people collaborating that's just stopped them being able to
build their shared repository! Not that that's necessarily good practice.

My directory's called $HOME/gitstuff/lilypond. I'm not sure what else is
in gitstuff, but there's all my music, there's libreoffice,
backups/test-copies, etc. NEVER NEVER NEVER push people to put stuff in
top-level $HOME. It's far too crowded as it is already :-( And while
it's not the performance-killer it was, it's still not a good idea.

Cheers,
Wol