On 2016-07-01 14:51, Pedro Alves wrote:
> I think this should just be fixed to work.
> 
> The fix should be very similar to this:
> 
> 
> https://sourceware.org/git/gitweb.cgi?p=binutils-gdb.git;h=811a659a779fdf93293fe1105d99e9db171a8b68
> 
> Thanks,
> Pedro Alves

Hi Marc,

Here's a patch.  If you like it I'll submit it to gdb-patches with 
ChangeLog and all.

That made me realize there is an alias for this, you can use "tty 
/dev/pts/X", which is equivalent to "set inferior-tty /dev/pts/X".  
There, I just saved you about 1 hour of typing per day :).

Simon