173 lines
8.9 KiB
Factor
173 lines
8.9 KiB
Factor
USING: help.markup help.syntax io.files.private io.pathnames
|
|
quotations ;
|
|
IN: io.directories
|
|
|
|
HELP: cwd
|
|
{ $values { "path" "a pathname string" } }
|
|
{ $description "Outputs the current working directory of the Factor process." }
|
|
{ $errors "Windows CE has no concept of “current directory”, so this word throws an error there." }
|
|
{ $notes "User code should use the value of the " { $link current-directory } " variable instead." } ;
|
|
|
|
HELP: cd
|
|
{ $values { "path" "a pathname string" } }
|
|
{ $description "Changes the current working directory of the Factor process." }
|
|
{ $errors "Windows CE has no concept of “current directory”, so this word throws an error there." }
|
|
{ $notes "User code should use " { $link with-directory } " or " { $link set-current-directory } " instead." } ;
|
|
|
|
{ cd cwd current-directory set-current-directory with-directory } related-words
|
|
|
|
HELP: current-directory
|
|
{ $description "A variable holding the current directory as an absolute path. Words that use the filesystem do so in relation to this variable."
|
|
$nl
|
|
"This variable should never be set directly; instead, use " { $link set-current-directory } " or " { $link with-directory } ". This preserves the invariant that the value of this variable is an absolute path." } ;
|
|
|
|
HELP: set-current-directory
|
|
{ $values { "path" "a pathname string" } }
|
|
{ $description "Changes the " { $link current-directory } " variable."
|
|
$nl
|
|
"If " { $snippet "path" } " is relative, it is first resolved relative to the current directory. If " { $snippet "path" } " is absolute, it becomes the new current directory." } ;
|
|
|
|
HELP: with-directory
|
|
{ $values { "path" "a pathname string" } { "quot" quotation } }
|
|
{ $description "Calls the quotation in a new dynamic scope with the " { $link current-directory } " variable rebound."
|
|
$nl
|
|
"If " { $snippet "path" } " is relative, it is first resolved relative to the current directory. If " { $snippet "path" } " is absolute, it becomes the new current directory." } ;
|
|
|
|
HELP: (directory-entries)
|
|
{ $values { "path" "a pathname string" } { "seq" "a sequence of " { $snippet "{ name dir? }" } " pairs" } }
|
|
{ $description "Outputs the contents of a directory named by " { $snippet "path" } "." }
|
|
{ $notes "This is a low-level word, and user code should call one of the related words instead." } ;
|
|
|
|
HELP: directory-entries
|
|
{ $values { "path" "a pathname string" } { "seq" "a sequence of " { $link directory-entry } " objects" } }
|
|
{ $description "Outputs the contents of a directory named by " { $snippet "path" } "." } ;
|
|
|
|
HELP: directory-files
|
|
{ $values { "path" "a pathname string" } { "seq" "a sequence of filenames" } }
|
|
{ $description "Outputs the contents of a directory named by " { $snippet "path" } "." } ;
|
|
|
|
HELP: with-directory-files
|
|
{ $values { "path" "a pathname string" } { "quot" quotation } }
|
|
{ $description "Calls the quotation with the directory file names on the stack and with the directory set as the " { $link current-directory } ". Restores the current directory after the quotation is called." } ;
|
|
|
|
HELP: with-directory-entries
|
|
{ $values { "path" "a pathname string" } { "quot" quotation } }
|
|
{ $description "Calls the quotation with the directory entries on the stack and with the directory set as the " { $link current-directory } ". Restores the current directory after the quotation is called." } ;
|
|
|
|
HELP: delete-file
|
|
{ $values { "path" "a pathname string" } }
|
|
{ $description "Deletes a file." }
|
|
{ $errors "Throws an error if the file could not be deleted." } ;
|
|
|
|
HELP: make-directory
|
|
{ $values { "path" "a pathname string" } }
|
|
{ $description "Creates a directory." }
|
|
{ $errors "Throws an error if the directory could not be created." } ;
|
|
|
|
HELP: make-directories
|
|
{ $values { "path" "a pathname string" } }
|
|
{ $description "Creates a directory and any parent directories which do not yet exist." }
|
|
{ $errors "Throws an error if the directories could not be created." } ;
|
|
|
|
HELP: delete-directory
|
|
{ $values { "path" "a pathname string" } }
|
|
{ $description "Deletes a directory. The directory must be empty." }
|
|
{ $errors "Throws an error if the directory could not be deleted." } ;
|
|
|
|
HELP: touch-file
|
|
{ $values { "path" "a pathname string" } }
|
|
{ $description "Updates the modification time of a file or directory. If the file does not exist, creates a new, empty file." }
|
|
{ $errors "Throws an error if the file could not be touched." } ;
|
|
|
|
HELP: move-file
|
|
{ $values { "from" "a pathname string" } { "to" "a pathname string" } }
|
|
{ $description "Moves or renames a file." }
|
|
{ $errors "Throws an error if the file does not exist or if the move operation fails." } ;
|
|
|
|
HELP: move-file-into
|
|
{ $values { "from" "a pathname string" } { "to" "a directory pathname string" } }
|
|
{ $description "Moves a file to another directory without renaming it." }
|
|
{ $errors "Throws an error if the file does not exist or if the move operation fails." } ;
|
|
|
|
HELP: move-files-into
|
|
{ $values { "files" "a sequence of pathname strings" } { "to" "a directory pathname string" } }
|
|
{ $description "Moves a set of files to another directory." }
|
|
{ $errors "Throws an error if the file does not exist or if the move operation fails." } ;
|
|
|
|
HELP: copy-file
|
|
{ $values { "from" "a pathname string" } { "to" "a pathname string" } }
|
|
{ $description "Copies a file." }
|
|
{ $notes "This operation attempts to preserve the original file's attributes, however not all attributes may be preserved." }
|
|
{ $errors "Throws an error if the file does not exist or if the copy operation fails." } ;
|
|
|
|
HELP: copy-file-into
|
|
{ $values { "from" "a pathname string" } { "to" "a directory pathname string" } }
|
|
{ $description "Copies a file to another directory." }
|
|
{ $errors "Throws an error if the file does not exist or if the copy operation fails." } ;
|
|
|
|
HELP: copy-files-into
|
|
{ $values { "files" "a sequence of pathname strings" } { "to" "a directory pathname string" } }
|
|
{ $description "Copies a set of files to another directory." }
|
|
{ $errors "Throws an error if the file does not exist or if the copy operation fails." } ;
|
|
|
|
ARTICLE: "current-directory" "Current working directory"
|
|
"File system I/O operations use the value of a variable to resolve relative pathnames:"
|
|
{ $subsection current-directory }
|
|
"This variable can be changed with a pair of words:"
|
|
{ $subsection set-current-directory }
|
|
{ $subsection with-directory }
|
|
"This variable is independent of the operating system notion of “current working directory”. While all Factor I/O operations use the variable and not the operating system's value, care must be taken when making FFI calls which expect a pathname. The first option is to resolve relative paths:"
|
|
{ $subsection (normalize-path) }
|
|
"The second is to change the working directory of the current process:"
|
|
{ $subsection cd }
|
|
{ $subsection cwd } ;
|
|
|
|
ARTICLE: "io.directories.listing" "Directory listing"
|
|
"Directory listing:"
|
|
{ $subsection directory-entries }
|
|
{ $subsection directory-files }
|
|
{ $subsection with-directory-entries }
|
|
{ $subsection with-directory-files } ;
|
|
|
|
ARTICLE: "io.directories.create" "Creating directories"
|
|
{ $subsection make-directory }
|
|
{ $subsection make-directories } ;
|
|
|
|
ARTICLE: "delete-move-copy" "Deleting, moving, and copying files"
|
|
"Operations for deleting and copying files come in two forms:"
|
|
{ $list
|
|
{ "Words named " { $snippet { $emphasis "operation" } "-file" } " which work on regular files only." }
|
|
{ "Words named " { $snippet { $emphasis "operation" } "-tree" } " works on directory trees recursively, and also accepts regular files." }
|
|
}
|
|
"The operations for moving and copying files come in three flavors:"
|
|
{ $list
|
|
{ "A word named " { $snippet { $emphasis "operation" } } " which takes a source and destination path." }
|
|
{ "A word named " { $snippet { $emphasis "operation" } "-into" } " which takes a source path and destination directory. The destination file will be stored in the destination directory and will have the same file name as the source path." }
|
|
{ "A word named " { $snippet { $emphasis "operation" } "s-into" } " which takes a sequence of source paths and destination directory." }
|
|
}
|
|
"Since both of the above lists apply to copying files, that this means that there are a total of six variations on copying a file."
|
|
$nl
|
|
"Deleting files:"
|
|
{ $subsection delete-file }
|
|
{ $subsection delete-directory }
|
|
"Moving files:"
|
|
{ $subsection move-file }
|
|
{ $subsection move-file-into }
|
|
{ $subsection move-files-into }
|
|
"Copying files:"
|
|
{ $subsection copy-file }
|
|
{ $subsection copy-file-into }
|
|
{ $subsection copy-files-into }
|
|
"On most operating systems, files can only be moved within the same file system. To move files between file systems, use " { $link copy-file } " followed by " { $link delete-file } " on the old name." ;
|
|
|
|
ARTICLE: "io.directories" "Directory manipulation"
|
|
"The " { $vocab-link "io.directories" } " vocabulary defines words for inspecting and manipulating directory trees."
|
|
{ $subsection home }
|
|
{ $subsection "current-directory" }
|
|
{ $subsection "io.directories.listing" }
|
|
{ $subsection "io.directories.create" }
|
|
{ $subsection "delete-move-copy" }
|
|
{ $subsection "io.directories.hierarchy" } ;
|
|
|
|
ABOUT: "io.directories"
|