Can't rename repository
I'm trying to rename a repository by right-clicking on its name in the Registry and clicking Rename.
I get this error:
An error occurred while updating the repository hgrc file (/home/teo/...../Post_Groan_4.1/.hg/hgrc)
First of all, "an error occurred", what kind of error?? The file does not exist? The file is not writable? It's neither of these, so what else?
Secondly, I'm not sure why you need to update the hgrc file. The name of the repository does not appear anywhere in such file.