[Bug gdb/12619] New: GDB info doc should mention name of "init file"

[Bug gdb/12619] New: GDB info doc should mention name of "init file"

[bkorb at gnu dot org]

http://sourceware.org/bugzilla/show_bug.cgi?id=12619

           Summary: GDB info doc should mention name of "init file"
           Product: gdb
           Version: unknown
            Status: NEW
          Severity: minor
          Priority: P2
         Component: gdb
        AssignedTo: unassigned@sourceware.org
        ReportedBy: bkorb@gnu.org


I had to google it to figure it out.  First try was ".gdbrc"
then I had to thrash around.  The "Startup" section should
say something like:
  The "init file" on windows is typically "gdb.ini" and on
  UNIX-like systems is typically ".gdbinit".
and remove the "typically" word if it is always such.

-- 
Configure bugmail: http://sourceware.org/bugzilla/userprefs.cgi?tab=email
------- You are receiving this mail because: -------
You are on the CC list for the bug.

[Bug gdb/12619] GDB info doc should mention name of "init file" in item 2

[bkorb at gnu dot org]

http://sourceware.org/bugzilla/show_bug.cgi?id=12619

Bruce Korb <bkorb at gnu dot org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
           Priority|P2                          |P3
            Summary|GDB info doc should mention |GDB info doc should mention
                   |name of "init file"         |name of "init file" in item
                   |                            |2

--- Comment #1 from Bruce Korb <bkorb at gnu dot org> 2011-03-29 17:41:05 UTC ---
To be slightly clearer, yes, it is mentioned at the bottom.
It seems to me that it either should be referenced at the
first reference to "init file" (item 2), or footnoted there
(as you do with "home directory").

-- 
Configure bugmail: http://sourceware.org/bugzilla/userprefs.cgi?tab=email
------- You are receiving this mail because: -------
You are on the CC list for the bug.