R/filesystem.R
FileInfo.Rd
文件系统条目信息
base_name():文件基本名称(最后一个目录分隔符后的部分)。
base_name()
extension():文件扩展名
extension()
$type:文件类型
$type
$path:文件系统中的完整文件路径
$path
$size:文件大小(以字节为单位),如果可用。只有常规文件才保证有大小。
$size
$mtime:上次修改时间,如果可用。
$mtime