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 _______________________________________________ lilypond-devel mailing list lilypond-devel@gnu.org https://lists.gnu.org/mailman/listinfo/lilypond-devel
