Skip to main content

File.is_regular_file

is_regular_file

Group: Metadata

Documentation

Checks whether the file exists and is a regular file.

Examples

Check if a file is regular.

      import Standard.Examples

example_is_regular_file = Examples.csv.is_regular_file

Remarks

Regular Files

A regular file is one that does not have any special meaning to the operating system. Examples of files that are not regular are pipes, devices, sockets and directories.

If the file is a data link, this checks whether the target of the data link is a regular file.