copyDirectory(String,String)

Synopsis

Function: copyDirectory
Usage:

copyDirectory(src,dst)
Inputs:
- src, a string
- dst, a string
Optional inputs:
- Exclude => ..., default value \.~[0-9.]+~$, a string containing a regular expression, or a list of such strings. If the base part of the name of a file in the source tree matches one of the regular expressions, then no link to it is created
- UpdateOnly => a Boolean value, default value false, whether to copy files only if the target file does not exist or is older than the source file
- FollowLinks => a Boolean value, default value false, whether to follow symbolic links in the source tree to directories
- Verbose => a Boolean value, default value false, whether to report individual file operations
Consequences:
- a copy of the directory tree rooted at src is created, rooted at dst

Description

i1 : src = temporaryFileName() | "/"

o1 = /tmp/M2-62845-0/0/

i2 : dst = temporaryFileName() | "/"

o2 = /tmp/M2-62845-0/1/

i3 : makeDirectory (src|"a/")

i4 : makeDirectory (src|"b/")

i5 : makeDirectory (src|"b/c/")

i6 : src|"a/f" << "hi there" << close

o6 = /tmp/M2-62845-0/0/a/f

o6 : File

i7 : src|"a/g" << "hi there" << close

o7 = /tmp/M2-62845-0/0/a/g

o7 : File

i8 : src|"b/c/g" << "ho there" << close

o8 = /tmp/M2-62845-0/0/b/c/g

o8 : File

i9 : stack findFiles src

o9 = /tmp/M2-62845-0/0/
     /tmp/M2-62845-0/0/b/
     /tmp/M2-62845-0/0/b/c/
     /tmp/M2-62845-0/0/b/c/g
     /tmp/M2-62845-0/0/a/
     /tmp/M2-62845-0/0/a/g
     /tmp/M2-62845-0/0/a/f

i10 : copyDirectory(src,dst,Verbose=>true)
--copying: /tmp/M2-62845-0/0/b/c/g -> /tmp/M2-62845-0/1/b/c/g
--copying: /tmp/M2-62845-0/0/a/g -> /tmp/M2-62845-0/1/a/g
--copying: /tmp/M2-62845-0/0/a/f -> /tmp/M2-62845-0/1/a/f

i11 : copyDirectory(src,dst,Verbose=>true,UpdateOnly => true)
--skipping: /tmp/M2-62845-0/0/b/c/g not newer than /tmp/M2-62845-0/1/b/c/g
--skipping: /tmp/M2-62845-0/0/a/g not newer than /tmp/M2-62845-0/1/a/g
--skipping: /tmp/M2-62845-0/0/a/f not newer than /tmp/M2-62845-0/1/a/f

i12 : stack findFiles dst

o12 = /tmp/M2-62845-0/1/
      /tmp/M2-62845-0/1/a/
      /tmp/M2-62845-0/1/a/f
      /tmp/M2-62845-0/1/a/g
      /tmp/M2-62845-0/1/b/
      /tmp/M2-62845-0/1/b/c/
      /tmp/M2-62845-0/1/b/c/g

i13 : get (dst|"b/c/g")

o13 = ho there

Now we remove the files and directories we created.

i14 : rm = d -> if isDirectory d then removeDirectory d else removeFile d

o14 = rm

o14 : FunctionClosure

i15 : scan(reverse findFiles src, rm)

i16 : scan(reverse findFiles dst, rm)

copyDirectory(String,String)

Synopsis

Description

See also