| |
|
|
| { ... } = file.* ( ...
Die Funktionsgruppe file bietet Funktionen per den Umgang mit File 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 File?)
file.del (Keywords: fdel,rmdir) File und Verzeichnisse
Wie sieht es mit file.rmdir aus? Wäre auch parallel zu file.del nutzbar possibile/sinnvoll?
Denn file.write kann auch Verz. erstellen wie file.mkdir. |
|
|
| |
|
|