diff options
author | https://www.google.com/accounts/o8/id?id=AItOawnR6E5iUghMWdUGlbA9CCs8DKaoigMjJXw <Efraim@web> | 2014-01-12 13:53:41 +0000 |
---|---|---|
committer | admin <admin@branchable.com> | 2014-01-12 13:53:41 +0000 |
commit | f17d3b10befa67b8c97a54dfbc1d02cf431f9f15 (patch) | |
tree | 507a83308d1dc23418487fb55cd1791369cd4f52 /doc/bugs/wget_and_android_4.4.mdwn | |
parent | 0e59afa31e4b63e9051a6ef02fc34095b9eb4eb7 (diff) |
Diffstat (limited to 'doc/bugs/wget_and_android_4.4.mdwn')
-rw-r--r-- | doc/bugs/wget_and_android_4.4.mdwn | 25 |
1 files changed, 25 insertions, 0 deletions
diff --git a/doc/bugs/wget_and_android_4.4.mdwn b/doc/bugs/wget_and_android_4.4.mdwn new file mode 100644 index 000000000..eb67a6235 --- /dev/null +++ b/doc/bugs/wget_and_android_4.4.mdwn @@ -0,0 +1,25 @@ +### Please describe the problem. +audio file won't download when it's sole source is the internet + +### What steps will reproduce the problem? +on my laptop git annex addurl --fast http://path/to/file.mp3 in folder phone/ +sync to homeserver +sync to phone +phone is set to prefer phone/* and present +after the phone receives the sync from homeserver, it looks to start the download and fails. +https://www.dropbox.com/s/ozcwub2mzo40z4y/2014-01-12%2012.36.01.png -> says wget doesn't recognize option --clobber + +https://www.dropbox.com/s/x1jhb6rcp17c7t8/2014-01-12%2013.13.56.png -> git annex get . -d output + +### What version of git-annex are you using? On what operating system? +android is version 5.20131230-g4aa88d8 for android 4.3+ + +### Please provide any additional information below. + +[[!format sh """ +# If you can, paste a complete transcript of the problem occurring here. +# If the problem is with the git-annex assistant, paste in .git/annex/daemon.log + + +# End of transcript or log. +"""]] |