[Bug 1552230] Re: gdb man page doesn't mention option "--args"

[Alberto Salvia Novella]

** Changed in: gdb (Ubuntu)
   Importance: Undecided => Medium

-- 
You received this bug notification because you are a member of Ubuntu
Foundations Bugs, which is subscribed to gdb in Ubuntu.
https://bugs.launchpad.net/bugs/1552230

Title:
  gdb man page doesn't mention option "--args"

Status in gdb package in Ubuntu:
  Confirmed

Bug description:
  gdb manpage doesn't list --args as a possible command line argument.

  This very important option allows one to pass an executable name with
  /its/ command line, and is possibly one of the most generally useful
  of gdb's arguments.  It is documented in the info file, but
  unaccountably missing from the man page.

  Description:    Ubuntu 15.10
  Release:        15.10

  gdb:
    Installed: 7.10-1ubuntu2
    Candidate: 7.10-1ubuntu2
    Version table:
   *** 7.10-1ubuntu2 0
          500 http://gb.archive.ubuntu.com/ubuntu/ wily/main amd64 Packages
          100 /var/lib/dpkg/status

To manage notifications about this bug go to:
https://bugs.launchpad.net/ubuntu/+source/gdb/+bug/1552230/+subscriptions