mi tty commands

[Bob Rossi]

On Wed, Jun 01, 2005 at 11:11:56PM +0300, Eli Zaretskii wrote:
> > Date: Wed, 1 Jun 2005 09:06:53 -0400
> > From: Bob Rossi <bob@brasko.net>
> > Cc: gdb-patches@sources.redhat.com
> > 
> > > Which reminds me: now that you introduced "set tty", doesn't that mean
> > > we should remove the "tty" command as redundant?
> > 
> > I don't think so. Simply because the tty command has been around for
> > ages and FE's depend on it being there. Removing the tty command would
> > successfully break every front end.
> 
> Not if we leave "tty" as an alias for "set tty".  Any objections to do
> that as part of your patch?

Yeah, if that leaves the user the 'tty /dev/pts/1' interface, than it's
fine with me. I'd be happy to add it to this patch, I just haven't used
an alias before and will have to look into it.

Thanks,
Bob Rossi