FileUtils
Functions and values
Function or value | Description |
cd path
Signature: path:string -> unit
|
Changes working directory
|
chdir path
Signature: path:string -> unit
|
Changes working directory
|
cp src dest
Signature: src:string -> dest:string -> unit
|
Like "cp" in a shell. Copies a single file.
The source
The destination
|
cp_r src dest
Signature: src:string -> dest:string -> unit
|
Like "cp -r" in a shell. Copies a file or directory recursively.
|
dirStack
Signature: Stack<string>
|
The stack of directories operated on by pushd and popd
|
mkdir path
Signature: path:string -> unit
|
Creates a directory if it doesn't exist.
|
mv src dest
Signature: src:string -> dest:string -> unit
|
Like "mv" in a shell. Moves/renames a file
The source
The destination
|
popd ()
Signature: unit -> unit
|
Restore the previous directory stored in the stack
|
pushd path
Signature: path:string -> unit
|
Store the current directory in the directory stack before changing to a new one
|
pwd ()
Signature: unit -> string
|
Gets working directory
|
rm fileName
Signature: fileName:string -> unit
|
Deletes a file if it exists
|
rm_rf f
Signature: f:string -> unit
|
Like "rm -rf" in a shell. Removes files recursively, ignoring nonexisting files
|