[RFA] Linux Checkpoint/Restart, take 2

[Michael Snyder]

Eli Zaretskii wrote:

> Need a "@:" after "etc.", since it doesn't end a sentence.  For the
> same reason, there need to be only one space after it, not two.

OK.

>>+ It won't ``un-write'' data from
>>+ a file, but it will rewind the file pointer to the previous location,
> 
> Really? isn't the file pointer stored inside some OS kernel data
> structure?

Yes, I had to make GDB explicitly save and restore the file position.

>>+ from eg. a serial device can be removed from internal program buffers,
> 
> 
> Pleased add "@:" after "eg." (actually, I believe we need to say
> "e.g.").

The document contains both usages.  Actually I had never seen the
two-period usage before -- I've always used and seen it used with
one period (though you're right that both are common).

Since we're already inconsistant, I'll leave it with one-period
but add the @:.  I certainly won't object if you or anyone else
wants to do a sweep and make them all the same.

If you do, by the way, there are other instances of "etc." in the
document that need the @: operator.