71 <tr> |
71 <tr> |
72 <td><a href="#getVolumeName">getVolumeName</a></td> |
72 <td><a href="#getVolumeName">getVolumeName</a></td> |
73 <td>Local function to determine the volume of a disk or device.</td> |
73 <td>Local function to determine the volume of a disk or device.</td> |
74 </tr> |
74 </tr> |
75 <tr> |
75 <tr> |
76 <td><a href="#getWindowsExecutablePath">getWindowsExecutablePath</a></td> |
|
77 <td>Function to build the full path of an executable file from the environment on Windows platforms.</td> |
|
78 </tr> |
|
79 <tr> |
|
80 <td><a href="#isDeviceFileName">isDeviceFileName</a></td> |
76 <td><a href="#isDeviceFileName">isDeviceFileName</a></td> |
81 <td>Function to check, if the given file name is a device file name.</td> |
77 <td>Function to check, if the given file name is a device file name.</td> |
82 </tr> |
78 </tr> |
83 <tr> |
79 <tr> |
84 <td><a href="#isDrive">isDrive</a></td> |
80 <td><a href="#isDrive">isDrive</a></td> |
556 </p> |
552 </p> |
557 |
553 |
558 <div align="right"><a href="#top">Up</a></div> |
554 <div align="right"><a href="#top">Up</a></div> |
559 <hr /> |
555 <hr /> |
560 <hr /> |
556 <hr /> |
561 <a NAME="getWindowsExecutablePath" ID="getWindowsExecutablePath"></a> |
|
562 <h2>getWindowsExecutablePath</h2> |
|
563 <b>getWindowsExecutablePath</b>(<i>file</i>) |
|
564 <p> |
|
565 Function to build the full path of an executable file from the environment |
|
566 on Windows platforms. |
|
567 </p> |
|
568 <p> |
|
569 First an executable with the extension .exe is searched for, thereafter |
|
570 such with the extensions .cmd or .bat and finally the given file name as |
|
571 is. The first match is returned. |
|
572 </p> |
|
573 |
|
574 <dl> |
|
575 |
|
576 <dt><i>file</i> (str)</dt> |
|
577 <dd> |
|
578 filename of the executable to check |
|
579 </dd> |
|
580 </dl> |
|
581 <dl> |
|
582 <dt>Return:</dt> |
|
583 <dd> |
|
584 full executable name, if the executable file is accessible via the |
|
585 executable search path defined by the PATH environment variable, or an |
|
586 empty string otherwise. |
|
587 </dd> |
|
588 </dl> |
|
589 <dl> |
|
590 <dt>Return Type:</dt> |
|
591 <dd> |
|
592 str |
|
593 </dd> |
|
594 </dl> |
|
595 <div align="right"><a href="#top">Up</a></div> |
|
596 <hr /> |
|
597 <hr /> |
|
598 <a NAME="isDeviceFileName" ID="isDeviceFileName"></a> |
557 <a NAME="isDeviceFileName" ID="isDeviceFileName"></a> |
599 <h2>isDeviceFileName</h2> |
558 <h2>isDeviceFileName</h2> |
600 <b>isDeviceFileName</b>(<i>fileName</i>) |
559 <b>isDeviceFileName</b>(<i>fileName</i>) |
601 <p> |
560 <p> |
602 Function to check, if the given file name is a device file name. |
561 Function to check, if the given file name is a device file name. |