R/filesystem.R
FileInfo.Rd
FileSystem entry info
base_name() : The file base name (component after the last directoryseparator).
base_name()
extension() : The file extension
extension()
$type: The file type
$type
$path: The full file path in the filesystem
$path
$size: The size in bytes, if available. Only regular files areguaranteed to have a size.
$size
$mtime: The time of last modification, if available.
$mtime