Re: [PATCH 6/6] Implement proper "startup-with-shell" support on gdbserver

Eli Zaretskii
2017-01-04T16:08:33Z

> From: Sergio Durigan Junior <sergiodj@redhat.com>
> Cc: gdb-patches@sourceware.org, palves@redhat.com
> Date: Tue, 03 Jan 2017 15:48:26 -0500
>
> > Also, is it possible that a user will want
> > remote targets to use a shell, while avoiding that for native
> > debugging, in the same session?
>
> Yeah, I thought about that. My first thought was to add a 'set/show
> remote startup-with-shell' option, but I thought this was going to be
> too much for the user. Maybe not.
>
> With this new setting, we'd have:
>
> - startup-with-shell: Used only locally, default on. Instructs GDB to
> start the inferior using the shell.
>
> - remote startup-with-shell: Used only remotely, default on. Instructs
> gdbserver to start the inferior using the shell.
>
> - remote startup-shell: Used only remotely (if remote startup-with-shell
> is on), default "" (empty). Tells which shell to be used by gdbserver
> to start the inferior. If empty, use $SHELL.
>
> WDYT?

Makes sense to me, thanks.