30 Aug
2017
30 Aug
'17
2 p.m.
Hermann Riemann
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. os.unlink() dürfte aber portabler sein und auch mit Leerzeichen und anderen speziellen Zeichen in dateiname zurechtkommen. Wer weiss, was die Shell so treibt.
-- Dipl.-Inform(FH) Peter Heitzer, peter.heitzer@rz.uni-regensburg.de