SYNOPSIS string *get_dir(string str, int mask) DESCRIPTION This function takes a path as argument and returns an array of file names and attributes in that directory. The filename part of the path may contain '*' as wildcards: every '*' matches an arbitrary amount of characters (or just itself). Thus get_dir ("/path/*") would return an array of all files in directory "/path/", or just ({ "/path/*" }) if this file happens to exist. The optional second argument mask can be used to get information about the specified files. 0 get_dir returns an emtpy array (not very useful) 1 put the file names into the returned array. 2 put the file sizes into the returned array. 4 put the file modification dates into the returned array. The values of mask can be added together. EXAMPLES get_dir("/w"); returns ({ "w" }) (if /w exists) get_dir("/w/"); and get_dir("/w/."); also both return ({ "w" }) get_dir("/"); and get_dir("/."); return contents of directory "/". get_dir(".") returns the base name of the current directory. get_dir("/path/*") would return an array of all files in directory "/path/", or just ({ "/path/*" }) if this file happens to exist. get_dir("/", 1) is equivalent to get_dir("/") get_dir("/", 2) returns an array with the sizes of the files in the root directory. get_dir("/", 7) returns an one-dimensional array that contains for each file in the root directory its name, its size and its modification date. SEE ALSO cat(E), mkdir(E), rmdir(E), file_size(E)