File: Cannot_delete_remote_when_ssh_sync_fails.mdwn

package info (click to toggle)
git-annex 5.20141125%2Bdeb8u1
  • links: PTS
  • area: main
  • in suites: jessie
  • size: 37,832 kB
  • sloc: haskell: 42,603; sh: 1,080; ansic: 498; makefile: 316; perl: 125
file content (8 lines) | stat: -rw-r--r-- 619 bytes parent folder | download | duplicates (11) 
1
2
3
4
5
6
7
8
 
### Please describe the problem.
The webapp does not offer me the option to delete a remote repository that it did not succeed to synchronize with. Status of the repository is sync enabled (metadata only) but in settings I may only edit the repo, but cannot delete it.

### What steps will reproduce the problem?
Set up git-annex on a new computer. Forget to enable ssh on the machine. Perform a local pairing (success). The sync fails for obvious reasons.

### What version of git-annex are you using? On what operating system?
System is ubuntu but I assume this is a general issue. Version of git-annex is 5.20140117