diff options
| author |  Joey Hess <joey@kitenet.net> | 2012-10-12 13:45:14 -0400 |
|---|---|---|
| committer | Joey Hess <joey@kitenet.net> | 2012-10-12 13:45:14 -0400 |
| commit | b5e4e1fd407395e2f37192eeed1a15c3bde013a8 (patch) | |
| tree | 35eeab60fb6639d7322f6f0f6d5c7ef6ba8a4bf4 /Utility/Percentage.hs | |
| parent | 613b162611b45ebd6e4f7ee1d1227b46b02cc4c7 (diff) | |
Automatically detect when a ssh remote does not have git-annex-shell installed, and set annex-ignore.
Aka solve the github problem.
Note that it's possible the initial configlist will fail for some network
reason etc, and then the fetch succeeds. In this case, a usable remote gets
disabled. But it does print a message, and this only happens once per
remote, so that seems ok.
Diffstat (limited to 'Utility/Percentage.hs')
0 files changed, 0 insertions, 0 deletions