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