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