Copies the given files to a destination directory, where the files' subdirectory is calculated relative to the given base directory.
Copies the given files to a destination directory, where the files' subdirectory is calculated relative to the given base directory.
the base directory for the source files
the source files to copy
the destination directory, so each source file is copied to dest / srcBase.relativize(file)
the destination files
Creates the file referenced by the specified path and any non-existing parent directories.
Creates the file referenced by the specified path and any non-existing parent directories. No-ops if the file already exists.
the path to the file to create
java.nio.file.Files, java.nio.file.Paths
Calculates the amount of used disk space, in percentages, according to the formula: usable_space / total_space.
Calculates the amount of used disk space, in percentages, according to the formula: usable_space / total_space. For example, if a 10 GB disk contains 3 GB of data, this method returns 30 for that disk.
the path to the disk or file store
the amount of used disk space as a percentage [0,100] of the total disk space capacity, rounded up to the next integer
Throws if the file doesn't exist/has no first line (?)
Throws if the file doesn't exist/has no first line (?)
location of file
the first line of the file at the specified location
Performs a recursive search of files and directories under the given base path.
Performs a recursive search of files and directories under the given base path.
the base directory
The files and directories under the base directory. Directories precede any files they contain in the returned sequence.
Avoids io.Source.fromURI(uri) because it seems to fail unless the supplied URI points to a file.
the resource to lookup and write to file
the path wrapped in an option if it was written, None if no file was written because it already existed
the file to write to
the file writing code
the file to write to
the file writing code