Derzeit verwende ich Folgendes:
f = open(filename, 'r+')
text = f.read()
text = re.sub('foobar', 'bar', text)
f.seek(0)
f.write(text)
f.close()
Das Problem ist jedoch, dass die alte Datei größer als die neue Datei ist. Am Ende habe ich eine neue Datei, die am Ende einen Teil der alten Datei enthält.
f.write(text)
nachf.truncate()
?