[isabelle-dev] Small repository accident

[Makarius]

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