12 lines
310 B
Text
12 lines
310 B
Text
removeLines[filename, start, len] :=
|
|
{
|
|
lines = array[lines["file:$filename"]]
|
|
modified = lines.removeLen[start-1, len]
|
|
if modified != len
|
|
println["Was only able to remove $modified lines due to end-of-file."]
|
|
|
|
w = new Writer[filename]
|
|
for line = lines
|
|
w.println[line]
|
|
w.close[]
|
|
}
|