# Needed to edit a text file like a list:
file = TextFile( "foo.txt" )
del file[:-10] # remove last 10 lines
file.save()
# Ended up writing this:
#!/usr/bin/env python
from tempfile import mktemp
import shutil
import sys
class TextFile(list):
def __init__(self,n ame):
file = open( name )
self[:] = file.readlines( )
self.name = name
def save(self):
temp = mktemp()
file = open( temp, "w" )
file.writelines ( self )
file.close()
#tgt = "_"+self.na me
tgt = self.name
#print temp, tgt
shutil.copy( temp, tgt )
# Is there Another Way?
# Simon Burton.