Hi, sergi...@debian.org (2018-07-27 at 0024.07 -0400): > Ever since I started working on GDB I noticed that the gcore script is a > bit "forgotten". [...] > Honestly, I don't think this bug is important enough to justify > complicating the script. I'll send the upstream patch to clarify the > manpage (and Cc you); I hope this is enough to address the issue.
Being a script, it can be locally adjusted as last resort. *shrug* The gcore of, at least, NetBSD uses the name without changes. FreeBSD also seems to have its own (both descending from a 4.2BSD tool). Most users probably invoke the commands inside gdb if no tool provided by the OS, that could explain why the script is not a priority. Cheers, GSR