From: James Edward Gray II <james@...>
Date: 2007-08-03T11:10:28+09:00
Subject: Re: Updating header in file

On Aug 2, 2007, at 7:55 PM, Jeffrey Bowen wrote:

> The only way that I can think of is to create a new
> file, enter a new first line and then move line 2
> thought the last line from file 1 into file 2 and then
> rename file 2 to file 1.

This is the right strategy.  You've just described a solid file  
changing idiom we all use regularly.  Code it up and pat yourself on  
the back for a job well done.

James Edward Gray II