gcore man page

gcore man page

[Nicolas Bonifas]

[-- Attachment #1: Type: text/plain, Size: 53 bytes --]

gcore had no man page, here is one!
Regards,
Nicolas

[-- Attachment #2: gcore.1.gz --]
[-- Type: application/gzip, Size: 652 bytes --]

Re: gcore man page

[Michael Snyder]

On Mon, 2007-10-22 at 23:01 +0200, Nicolas Bonifas wrote:
> gcore had no man page, here is one!
> Regards,
> Nicolas

Thanks.  This looks like a good start, but raises a lot of questions.
For instance:

 * Is this meant to be about the gcore facility provided by gdb?
If not, of course, this is the wrong mailing list.

Assuming yes, then:

 * The copyright date can't be any earlier than 2003, which is 
when that feature was introduced.  I might suggest:

   Copyright (C) 2003, 2005, 2007 Free Software Foundation, Inc.

since that's what it says in the shell script.

 * Where, and when (under what circumstances) should this man
page get installed?  We do have a shell script, gdb_gcore.sh, 
that invokes gdb from the shell and performs the "gcore" function,
but none of our makefiles ever install this shell script.

If we do install the shell script, we probably want to rename it
to "gcore" (or else the man page should mention the alternate 
name).

I'm happy to have these issues discussed and/or resolved...

Michael

Re: gcore man page

[Nicolas Bonifas]

[-- Attachment #1: Type: text/plain, Size: 1294 bytes --]

Hello,

>  * Is this meant to be about the gcore facility provided by gdb?

Yes, of course!

>  * The copyright date can't be any earlier than 2003, which is 
> when that feature was introduced.  I might suggest:
> 
>    Copyright (C) 2003, 2005, 2007 Free Software Foundation, Inc.
> 
> since that's what it says in the shell script.

Ok, I'm changing that. I used the copyright notice of gdb's man page.

>  * Where, and when (under what circumstances) should this man
> page get installed?  We do have a shell script, gdb_gcore.sh, 
> that invokes gdb from the shell and performs the "gcore" function,
> but none of our makefiles ever install this shell script.

In fact, the Debian package for gdb installs this script with the name 
gcore instead of gdb_gcore.sh (this is done by debian/rules).
If you don't install this shell script, then you may not need this man 
page, and I will directly send it to Debian. Please tell me what you prefer.
If you want to install it, it is very easy to change the man page name 
and the occurences of core in the man page to gdb_gcore.sh.

By the way, in gdb_gcore.sh, the script is named gcore.sh:
# gcore.sh
# Script to generate a core file of a running program.
# It starts up gdb, attaches to the given PID and invokes the gcore command.


Nicolas

[-- Attachment #2: gcore.1.gz --]
[-- Type: application/gzip, Size: 647 bytes --]

Re: gcore man page

[Michael Snyder]

On Wed, 2007-10-24 at 21:09 +0200, Nicolas Bonifas wrote:

> In fact, the Debian package for gdb installs this script with the name 
> gcore instead of gdb_gcore.sh (this is done by debian/rules).
> If you don't install this shell script, then you may not need this man 
> page, and I will directly send it to Debian. Please tell me what you prefer.
> If you want to install it, it is very easy to change the man page name 
> and the occurences of core in the man page to gdb_gcore.sh.

Thanks.  I'll put this question to the appropriate list and Cc: you.

Michael