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

doc update

Browse source
This commit is contained in:
Joey Hess 2012-02-10 20:40:18 -04:00
parent a3ebf16e62
commit 6335abcab2
1 changed files with 4 additions and 4 deletions
Download patch file Download diff file Expand all files Collapse all files

8
doc/tips/using_the_web_as_a_special_remote.mdwn
View file

@ -8,10 +8,10 @@ The web can be used as a [[special_remote|special_remotes]] too.
Now the file is downloaded, and has been added to the annex like any other Now the file is downloaded, and has been added to the annex like any other
file. So it can be renamed, copied to other repositories, and so on. file. So it can be renamed, copied to other repositories, and so on.
Note that git-annex assumes that, if the web site does not 404, the file is Note that git-annex assumes that, if the web site does not 404, and has the
still present on the web, and this counts as one [[copy|copies]] of the right file size, the file is still present on the web, and this counts as
file. So it will let you remove your last copy, trusting it can be one [[copy|copies]] of the file. So it will let you remove your last copy,
downloaded again: trusting it can be downloaded again:
# git annex drop example.com_video.mpeg # git annex drop example.com_video.mpeg
drop example.com_video.mpeg (checking http://example.com/video.mpeg) ok drop example.com_video.mpeg (checking http://example.com/video.mpeg) ok