FileTools[IsExecutable] - determine if the user has execute permission for a file
|
Calling Sequence
|
|
IsExecutable(file)
|
|
Parameters
|
|
file
|
-
|
filename or the file descriptor of an open file
|
|
|
|
|
Description
|
|
•
|
The IsExecutable(file) command returns true if the user has execute permission for the specified file. If the user does not, false is returned.
|
•
|
On Windows systems, the executable status of a file is determined by the file extension. This may falsely return true for incorrectly named files.
|
•
|
If the file does not exist or an invalid file descriptor is passed, an exception is raised.
|
|
|
See Also
|
|
file_types, FileTools, FileTools[Exists], FileTools[IsDirectory], FileTools[IsReadable], FileTools[IsWritable], FileTools[ModificationTime], FileTools[Remove], FileTools[Size], FileTools[Status], FileTools[Text][Close], FileTools[Text][WriteString], IO_errors
|
|
Download Help Document
Was this information helpful?