I'm pretty happy with the new clusters feature, but gave the main cluster I'm using a name I'd like to change.
I tried just manually editing [annex "cluster"] in .git/config, but annex doesn't seem to recognize that change.
Is there a way to change it I'm missing?
The name of the cluster ends up in git-annex:proxy.log. So probably the easiest thing to do is to
git-annex initclustera new cluster with the new name, change the git configs remote.foo.annex-cluster-node to be set to the new name, and rungit-annex updatecluster.That will remove all the nodes from the old cluster name and add them to the new cluster name, and without any nodes left the old cluster name will never be displayed anywhere.