Semiconductor & Computer Engineering
From WikiChip
Difference between revisions of "mirc/identifiers/$exists"
m (PatrolBot moved page $exists identifier - mIRC to mirc/identifiers/$exists: Bot: auto-move) |
(Bot: ac) |
||
| Line 1: | Line 1: | ||
| − | The '''$exists''' identifier can be used to determine whether a specified file, or folder, exists. If the file/folder exists, or does not exist, the identifier will return {{mIRC|$true}} or {{mIRC|$false}}, respectively. | + | {{mirc title|$exists identifier}}The '''$exists''' identifier can be used to determine whether a specified file, or folder, exists. If the file/folder exists, or does not exist, the identifier will return {{mIRC|$true}} or {{mIRC|$false}}, respectively. |
== Synopsis == | == Synopsis == | ||
| Line 14: | Line 14: | ||
The above executed line should return the following: | The above executed line should return the following: | ||
| − | < | + | <source lang="mIRC">$true</source> |
== Compatibility == | == Compatibility == | ||
{{mIRC compatibility|4.6}} | {{mIRC compatibility|4.6}} | ||
== See Also == | == See Also == | ||
| − | {{mIRC|$isfile}} | + | * {{mIRC|$isfile}} |
| − | {{mIRC|$isdir}} | + | * {{mIRC|$isdir}} |
| − | {{mIRC identifier list}} | + | * {{mIRC identifier list}} |
[[Category:mIRC identifiers]] | [[Category:mIRC identifiers]] | ||
Revision as of 14:14, 6 January 2016
Commands & Identifiers
Basics
Events
Matching Tools
Data Storage
Control Structures
GUI Scripting
Sockets
Advanced Scripting
Additional Resources
Security
Other
The $exists identifier can be used to determine whether a specified file, or folder, exists. If the file/folder exists, or does not exist, the identifier will return $true or $false, respectively.
Synopsis
$exists(File/Folder)
Parameters
File/Folder The file or folder to check for
Example
Echo to the active screen if mirc.ini exists
//echo -a $exists(mirc.ini)
The above executed line should return the following:
$true
Compatibility
Added: mIRC v4.6
Added on: 07 Sep 1996
Note: Unless otherwise stated, this was the date of original functionality.
Further enhancements may have been made in later versions.
See Also
mIRC identifier list