text file edit object
 

# 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,name):
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.name
tgt = self.name
#print temp, tgt
shutil.copy( temp, tgt )


# Is there Another Way?

# Simon Burton.