Re: [PATCH] Make cygwin use .gdbinit

[Eli Zaretskii <eliz at is dot elta dot co dot il>]

> Date: Sun, 25 Nov 2001 23:04:26 -0500
> From: DJ Delorie <dj@redhat.com>
> 
> I suggest something like:
> 
>   These files are normally named @file{.gdbinit} although filesystem
>   limitations require that they be named @file{gdb.ini} on some
>   platforms, such as DJGPP.

My suggestion is similar:

  When you start @value{GDBN}, it automatically executes commands from its
  @dfn{init files}, normally called @file{.gdbinit}@footnote{The DJGPP
  port of @value{GDBN} uses the name @file{gdb.ini} instead, due to the
  limitations of file names imposed by DOS filesystems.}.

This banishes the difference into a footnote, where it is less
prominent, and also avoids the pitfall of saying that gdb.ini is only
used on DOS.