📄 get_dir
字号:
ggggeeeetttt____ddddiiiirrrr((((3333)))) MMMMuuuuddddOOOOSSSS ((((5555 SSSSeeeepppp 1111999999994444)))) ggggeeeetttt____ddddiiiirrrr((((3333)))) NNNNAAAAMMMMEEEE get_dir() - returns information pertaining to a filesystem directory SSSSYYYYNNNNOOOOPPPPSSSSIIIISSSS mixed *get_dir( string dir, int default: 0 ); DDDDEEEESSSSCCCCRRRRIIIIPPPPTTTTIIIIOOOONNNN If `dir' is a filename ('*' and '?' wildcards are supported), an array of strings is returned containing all filenames that match the specification. If `dir' is a directory name (ending with a slash--ie: "/u/", "/adm/", etc), all filenames in that directory are returned. If called with a second argument equal to -1, get_dir will return an array of subarrays, where the format of each subarray is: ({ filename, size_of_file, last_time_file_touched }) Where filename is a string and last_time_file_touched is an integer being number of seconds since January 1, 1970 (same format as time(3)). The size_of_file element is the same value that is returned by file_size(3); the size of the file in bytes, or -2 if it's a directory. SSSSEEEEEEEE AAAALLLLSSSSOOOO file_size(3), stat(3), time(3) Page 1 (printed 3/16/95)
⌨️ 快捷键说明
复制代码
Ctrl + C
搜索代码
Ctrl + F
全屏模式
F11
切换主题
Ctrl + Shift + D
显示快捷键
?
增大字号
Ctrl + =
减小字号
Ctrl + -