diff options
| author |  Joey Hess <joey@kitenet.net> | 2012-02-10 20:40:18 -0400 |
|---|---|---|
| committer | Joey Hess <joey@kitenet.net> | 2012-02-10 20:40:18 -0400 |
| commit | 6335abcab2c0b48132b04011acbd01fb99bc5b53 (patch) | |
| tree | 10c5abedc62f84e9127e779540a0f8109c9762a2 /doc/tips | |
| parent | a3ebf16e62e4499401165eebc8cf3d7123dc4fe7 (diff) | |
doc update
Diffstat (limited to 'doc/tips')
| -rw-r--r-- | doc/tips/using_the_web_as_a_special_remote.mdwn | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/doc/tips/using_the_web_as_a_special_remote.mdwn b/doc/tips/using_the_web_as_a_special_remote.mdwn index 8009927a4..a151f9933 100644 --- a/doc/tips/using_the_web_as_a_special_remote.mdwn +++ b/doc/tips/using_the_web_as_a_special_remote.mdwn @@ -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 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 -still present on the web, and this counts as one [[copy|copies]] of the -file. So it will let you remove your last copy, trusting it can be -downloaded again: +Note that git-annex assumes that, if the web site does not 404, and has the +right file size, the file is still present on the web, and this counts as +one [[copy|copies]] of the file. So it will let you remove your last copy, +trusting it can be downloaded again: # git annex drop example.com_video.mpeg drop example.com_video.mpeg (checking http://example.com/video.mpeg) ok |