| |
|
|
 | { ... } = file.* ( ...
Die Funktionsgruppe file bietet Funktionen für den Umgang mit Dateien und Verzeichnissen bzw. dem Dateisystem:
Keywords: fattr, fileexists, direxists, fsize, ftime, dirsize, disksize, diskfree |
|
|
| |
|
|
|
 HofK | Es gibt jetzt file.mkdir file.chdir file.direxists
aber wohl nicht file.rmdir
Dazu file.exists (nur Dateien?)
file.del (Keywords: fdel,rmdir) Dateien und Verzeichnisse
Wie sieht es mit file.rmdir aus? Wäre auch parallel zu file.del nutzbar möglich/sinnvoll?
Denn file.write kann auch Verz. erstellen wie file.mkdir. |
|
|
| |
|
|