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