This is the mail archive of the
gdb-patches@sourceware.org
mailing list for the GDB project.
Re: [PATCH] PR gdb/21574: Mention $SHELL and startup-with-shell on "help run"
- From: Sergio Durigan Junior <sergiodj at redhat dot com>
- To: Eli Zaretskii <eliz at gnu dot org>
- Cc: gdb-patches at sourceware dot org
- Date: Wed, 14 Jun 2017 22:46:02 -0400
- Subject: Re: [PATCH] PR gdb/21574: Mention $SHELL and startup-with-shell on "help run"
- Authentication-results: sourceware.org; auth=none
- Authentication-results: ext-mx04.extmail.prod.ext.phx2.redhat.com; dmarc=none (p=none dis=none) header.from=redhat.com
- Authentication-results: ext-mx04.extmail.prod.ext.phx2.redhat.com; spf=pass smtp.mailfrom=sergiodj at redhat dot com
- Dkim-filter: OpenDKIM Filter v2.11.0 mx1.redhat.com 826978553C
- Dmarc-filter: OpenDMARC Filter v1.3.2 mx1.redhat.com 826978553C
- References: <20170614204836.15123-1-sergiodj@redhat.com> <83lgou2d40.fsf@gnu.org>
On Wednesday, June 14 2017, Eli Zaretskii wrote:
>> From: Sergio Durigan Junior <sergiodj@redhat.com>
>> Cc: Eli Zaretskii <eliz@gnu.org>,
>> Sergio Durigan Junior <sergiodj@redhat.com>
>> Date: Wed, 14 Jun 2017 16:48:36 -0400
>>
>> This simple patch updates the documentation of "help run" in order to
>> mention that the shell used to start the inferior comes from the
>> $SHELL environment variable. It also mentions that this behaviour can
>> be disabled by using the "set startup-with-shell off" command.
>>
>> OK?
>
> Yes, but instead of 'see the "$SHELL" environment variable', I'd
> suggest to say 'specified by the "$SHELL" environment variable'.
That's better indeed.
Pushed with this change.
45159d6ad394fe7db840b2b92eaa69508b8a8fe7
Thanks,
--
Sergio
GPG key ID: 237A 54B1 0287 28BF 00EF 31F4 D0EB 7628 65FC 5E36
Please send encrypted e-mail if possible
http://sergiodj.net/