Re: mi tty commands

[Eli Zaretskii <eliz at gnu dot org>]

> Date: Sun, 12 Jun 2005 23:07:32 -0400
> From: Daniel Jacobowitz <drow@false.org>
> 
> > @@ -2088,7 +2088,24 @@
> >  
> >  When you use the @code{tty} command or redirect input in the @code{run}
> >  command, only the input @emph{for your program} is affected.  The input
> > -for @value{GDBN} still comes from your terminal.
> > +for @value{GDBN} still comes from your terminal.  @code{tty} is an alias
> > +for @code{set inferior-tty}.
> > +
> > +@cindex inferior tty
> > +@cindex set inferior controlling terminal
> > +You can use the @code{show inferior-tty} command to tell @value{GDBN} to
> > +display the name of the terminal that will be used for future runs of your
> > +program.
> 
> If we're going to make "tty" an alias for "set inferior-tty", should we
> update the documentation to refer to "set inferior-tty" everywhere,
> instead of continuing to suggest that users use "tty"?

Yes.  I thought of rewriting that section after these patches are
committed.