module FileUtilTypes:sig
..end
exception FileDoesntExist of FilePath.filename
exception RecursiveLink of FilePath.filename
exception Fatal of string
type
action_link =
| |
Follow |
| |
Skip |
| |
SkipInform of |
| |
AskFollow of |
See FileUtil.mli
type
interactive =
| |
Force |
| |
Ask of |
See FileUtil.mli
type
size =
| |
TB of |
| |
GB of |
| |
MB of |
| |
KB of |
| |
B of |
See FileUtil.mli
type
kind =
| |
Dir |
| |
File |
| |
Dev_char |
| |
Dev_block |
| |
Fifo |
| |
Socket |
| |
Symlink |
See FileUtil.mli
type
base_permission = {
|
sticky : |
|
exec : |
|
write : |
|
read : |
}
See FileUtil.mli
type
permission = {
|
user : |
|
group : |
|
other : |
}
See FileUtil.mli
type
stat = {
|
kind : |
|
is_link : |
|
permission : |
|
size : |
|
owner : |
|
group_owner : |
|
access_time : |
|
modification_time : |
|
creation_time : |
|
device : |
|
inode : |
}
See FileUtil.mli
type
test_file =
| |
Is_dev_block |
| |
Is_dev_char |
| |
Is_dir |
| |
Exists |
| |
Is_file |
| |
Is_set_group_ID |
| |
Has_sticky_bit |
| |
Is_link |
| |
Is_pipe |
| |
Is_readable |
| |
Is_writeable |
| |
Size_not_null |
| |
Size_bigger_than of |
| |
Size_smaller_than of |
| |
Size_equal_to of |
| |
Size_fuzzy_equal_to of |
| |
Is_socket |
| |
Has_set_user_ID |
| |
Is_exec |
| |
Is_owned_by_user_ID |
| |
Is_owned_by_group_ID |
| |
Is_newer_than of |
| |
Is_older_than of |
| |
Is_newer_than_date of |
| |
Is_older_than_date of |
| |
And of |
| |
Or of |
| |
Not of |
| |
Match of |
| |
True |
| |
False |
| |
Has_extension of |
| |
Has_no_extension |
| |
Is_parent_dir |
| |
Is_current_dir |
| |
Basename_is of |
| |
Dirname_is of |
| |
Custom of |
See FileUtil.mli
type
touch_time_t =
| |
Touch_now |
| |
Touch_file_time of |
| |
Touch_timestamp of |
See FileUtil.mli