mirrors/git-annex
2
0
Fork 0
Code Issues Pull requests Projects Releases Packages 1 Wiki Activity Actions

Browse source
This commit is contained in:
samuel.hodgkins@1f82d70f26e5a61ac6a73b6286b2bd907cac5094 2017-12-15 03:38:53 +00:00 • committed by admin
parent 567c231429
commit 68cbe10e78
1 changed files with 22 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

22
doc/bugs/__39__web__39___remote_does_not_work_on_Android.mdwn Normal file
View file

@ -0,0 +1,22 @@
### Please describe the problem.
On Android, any attempt by git-annex to use the 'web' special remote won't work, instead wget will complain about the user-agent parameter. This is very annoying when I have web URLs registered for numerous files.
### What steps will reproduce the problem?
Try to grab a file via git-annex that has an attached web URL on Android.
### What version of git-annex are you using? On what operating system?
Latest version of git-annex app on an Android 5 tablet.
### 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.
"""]]
### Have you had any luck using git-annex before? (Sometimes we get tired of reading bug reports all day and a lil' positive end note does wonders)