30 Aug
2017
30 Aug
'17
6:04 a.m.
Am 30.08.2017 um 07:48 schrieb Stefan Behnel:
Übrigens, da es gerade um Geschwindigkeit ging - ich wette, mit
os.system("rm "+dateiname)
kannst du die Datei deutlich schneller löschen als mit
os.system("rm {}".format(dateiname))
oder gar mit
os.unlink(dateiname)
Die zeitlichen Unterschiede dürften meist gering sein. Hermann der wegen des Lernaufwandes und Manual Suchens lieber os.system("rm "+dateiname) als os.unlink(dateiname) verwendet. -- http://www.hermann-riemann.de