Hi again,
I have a SSH remote server that I registered to my git-annex repository via git-annex assistant. When I go to edit the settings for the repository from within git-annex assistant I noticed I can't edit the server address. If the server IP changes, how should I go about letting git-annex know of this? Can I just (1) shutdown git-annex assistant, (2) edit the 'url' line of the remote entry inside the repository's .git/config file, and then (3) start up git-annex assistant again? Is this a safe method for doing this?
Regards, Blake
Yes, you can certainly edit .git/config in any way you like and the assistant will use the new values when started back up.
It shouldn't be using a hardcoded IP address normally, unless you manually entered an IP address when setting up that ssh remote. Using DNS is better..
just to be complete: during setup some useful assistant may have created rsa keys so that the assistant can access remote hosts without password and following the update of .git/config you probably will need to update .ssh/config as well.
Like many things with git annex and the assistant, its just "like dropbox with your own cloud", but you need first to become expert in editing .git/config and .ssh/config.