[isabelle-dev] Small repository accident

Makarius makarius at sketis.net
Fri Feb 24 20:09:01 CET 2012

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.)


More information about the isabelle-dev mailing list