[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [Ada-mode-users] [Piotr Trojanek] [ada-mode] Light gpr_query.adb pat
From: |
Piotr Trojanek |
Subject: |
Re: [Ada-mode-users] [Piotr Trojanek] [ada-mode] Light gpr_query.adb patch |
Date: |
Fri, 24 Nov 2017 09:43:22 +0100 |
On Fri, Nov 24, 2017 at 3:58 AM, Stephen Leake
<address@hidden> wrote:
> Ok, but that's what the "exit" command is for.
>
> I guess it's reasonable to expect programs that prompt for input to
> handle C-d (= ASCII EOT = end of text) nicely.
That's exactly what I thought. This behaviour gpr_query behaves like
for example bash (and most of other shells, I believe), which can be
terminated either by the 'exit' command or a Ctrl-D.
--
Piotr Trojanek