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

clarify

Browse source
This commit is contained in:
Joey Hess 2019-06-04 21:47:29 -04:00
parent 082e1f1738
commit 6e51b9ae88
No known key found for this signature in database
GPG key ID: DB12DB0FF05F8F38
2 changed files with 6 additions and 5 deletions
Download patch file Download diff file Expand all files Collapse all files

8
Types/Remote.hs
View file

@ -232,10 +232,10 @@ data ExportActions a = ExportActions
, removeExport :: Key -> ExportLocation -> a Bool , removeExport :: Key -> ExportLocation -> a Bool
-- Removes an exported directory. Typically the directory will be -- Removes an exported directory. Typically the directory will be
-- empty, but it could possibly contain files or other directories, -- empty, but it could possibly contain files or other directories,
-- and it's ok to delete those. If the remote does not use -- and it's ok to delete those (but not required to).
-- directories, or automatically cleans up empty directories, -- If the remote does not use directories, or automatically cleans
-- this can be Nothing. Should not fail if the directory was -- up empty directories, this can be Nothing.
-- already removed. -- Should not fail if the directory was already removed.
, removeExportDirectory :: Maybe (ExportDirectory -> a Bool) , removeExportDirectory :: Maybe (ExportDirectory -> a Bool)
-- Checks if anything is exported to the remote at the specified -- Checks if anything is exported to the remote at the specified
-- ExportLocation. -- ExportLocation.

3
doc/design/external_special_remote_protocol/export_and_import_appendix.mdwn
View file

@ -78,7 +78,8 @@ a request, it can reply with `UNSUPPORTED-REQUEST`.
The directory will be in the form of a relative path, and may contain path The directory will be in the form of a relative path, and may contain path
separators, whitespace, and other special characters. separators, whitespace, and other special characters.
Typically the directory will be empty, but it could possibly contain Typically the directory will be empty, but it could possibly contain
files or other directories, and it's ok to remove those. files or other directories, and it's ok to remove those, but not required
to do so.
* `REMOVEEXPORTDIRECTORY-SUCCESS` * `REMOVEEXPORTDIRECTORY-SUCCESS`
Indicates that a `REMOVEEXPORTDIRECTORY` was done successfully. Indicates that a `REMOVEEXPORTDIRECTORY` was done successfully.
* `REMOVEEXPORTDIRECTORY-FAILURE` * `REMOVEEXPORTDIRECTORY-FAILURE`