Re: don't just seek to the next line if the script has been edited

[jidanni]

>>>>> "GW" == Greg Wooledge <wooledg@eeg.ccf.org> writes:
GW> On Fri, Jun 07, 2013 at 09:09:53PM +0800, jidanni@jidanni.org wrote:
>> Well OK but sometimes a script could be running for years, during which
>> any change to a file will result in bash executing random bytes...

GW> This is why you don't edit an installed script in-place.  Instead, you
GW> move it aside, or remove it, or hardlink it, or do some other fancy thing.

Well it is going to happen anyway, so maybe bash should check by
default, and not check if -o risky is set or something. It can't be that
expensive.