Improve documentation
This commit is contained in:
parent
ce7fdcdcd6
commit
ac381cbf60
@ -249,12 +249,13 @@ data CopyMode = Strict -- ^ fail if any target exists
|
|||||||
|
|
||||||
|
|
||||||
|
|
||||||
-- |Copies the contents of a directory recursively to the given destination.
|
-- |Copies the contents of a directory recursively to the given destination, while preserving permissions.
|
||||||
-- Does not follow symbolic links. This behaves more or less like:
|
-- Does not follow symbolic links. This behaves more or less like
|
||||||
|
-- the following, without descending into the destination if it
|
||||||
|
-- already exists:
|
||||||
--
|
--
|
||||||
-- @
|
-- @
|
||||||
-- mkdir \/destination\/dir
|
-- cp -a \/source\/dir \/destination\/somedir
|
||||||
-- cp -R \/source\/dir\/* \/destination\/dir\/
|
|
||||||
-- @
|
-- @
|
||||||
--
|
--
|
||||||
-- For directory contents, this will ignore any file type that is not
|
-- For directory contents, this will ignore any file type that is not
|
||||||
@ -297,8 +298,8 @@ data CopyMode = Strict -- ^ fail if any target exists
|
|||||||
-- Throws in `Strict` CopyMode only:
|
-- Throws in `Strict` CopyMode only:
|
||||||
--
|
--
|
||||||
-- - `AlreadyExists` if destination already exists
|
-- - `AlreadyExists` if destination already exists
|
||||||
copyDirRecursive :: Path Abs -- ^ copy contents of this source dir
|
copyDirRecursive :: Path Abs -- ^ source dir
|
||||||
-> Path Abs -- ^ to this full destination (parent dirs
|
-> Path Abs -- ^ destination (parent dirs
|
||||||
-- are not automatically created)
|
-- are not automatically created)
|
||||||
-> CopyMode
|
-> CopyMode
|
||||||
-> RecursiveErrorMode
|
-> RecursiveErrorMode
|
||||||
|
Loading…
Reference in New Issue
Block a user