diff options
author | http://batchyx.myopenid.com/ <http://batchyx.myopenid.com/@web> | 2011-03-05 07:30:19 +0000 |
---|---|---|
committer | admin <admin@branchable.com> | 2011-03-05 07:30:19 +0000 |
commit | c4dd0e377301b8b2e1f7637bbd68dcad860a0646 (patch) | |
tree | 6270bd36f9b7e60ba2b3775e6ed6c8ec6fa4dcaa | |
parent | b4bc6b6385f503c16f9472a6fbec8a98afb74c83 (diff) |
initial bug creation.
-rw-r--r-- | doc/bugs/git_annex_get_choke_when_remote_is_an_ssh_url_with_a_port.mdwn | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/doc/bugs/git_annex_get_choke_when_remote_is_an_ssh_url_with_a_port.mdwn b/doc/bugs/git_annex_get_choke_when_remote_is_an_ssh_url_with_a_port.mdwn new file mode 100644 index 000000000..031956b9a --- /dev/null +++ b/doc/bugs/git_annex_get_choke_when_remote_is_an_ssh_url_with_a_port.mdwn @@ -0,0 +1,11 @@ +when i want to + + git annex get file + +on repo ssh://host-without-port/annex, it works, but if i want to get a file from ssh://host:5122/annex, it tries to run command +ssh ["host:5122", "git-annex-shell 'configlist' '/annex/file'"] and fails. ssh needs the -p option to set the default port. +this is confusing because git can handle this url correctly, and will happily clone/push/pull to/from these url. + +temporary workaround is to use remote.name.annex-ssh-options, but we need to workaround when doing get and remove the workaround when pushing/cloning. + +if i had more time, i would have learned haskell and provided a patch ;) |