This is the mail archive of the
gdb-patches@sourceware.org
mailing list for the GDB project.
Re: [RFA] Linux Checkpoint/Restart, take 2
- From: Michael Snyder <michsnyd at cisco dot com>
- To: Eli Zaretskii <eliz at gnu dot org>
- Cc: gdb-patches at sources dot redhat dot com, msnyder at redhat dot com
- Date: Tue, 20 Dec 2005 13:05:02 -0800
- Subject: Re: [RFA] Linux Checkpoint/Restart, take 2
- References: <43A777EE.50404@cisco.com> <uu0d3ebn5.fsf@gnu.org>
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.