On Fri, 24 Feb 2012, Florian Haftmann wrote:
A nice client-side solution is also:
[paths]
testboard = ssh://haftmann@macbroy//mnt/tmp/isatest/repositories/isabelle
[alias]
push_to_testboard = push -f testboard
in .hg/hgrc
Very nice indeed; these Mercurial guys know what is needed. This should
also work well for central $HOME/.hgrc -- it assumes that the meaning of
the "testboard" path is somehow uniform, independently of clones.
Is there a way to pull the .hgrc also on hg clone? Then this could be a
default .hgrc for the Isabelle repository.
According to the pure concepts of Mercurial the hgrc is a local thing,
which is never cloned. (Never versions might have introduced other
solutions more recently.)
Makarius
_______________________________________________
isabelle-dev mailing list
[email protected]
https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
