Hi, thanks for the replies.
On 29/08/14 11:20, Alexander Konovalov wrote:
> Hello Jerome,
>
> perhaps this is what you are looking for ("3.1 Command Line Options” of the
> Reference manual):
>
> -E
> If your GAP installation uses the readline library for command line
> editing (see 6.9), this may be disabled by using -E option. This
> option may be repeated to toggle this behavior on and off. If your GAP
> installation does not use the readline library (you can check by
> IsBound(GAPInfo.UseReadline); if this is the case), this option will
> have no effect at all.
I looked the man page, the readline section in the Ref Manual, but not this
section.
What I really want is to make kill -INT working:
the function syAnswerIntr in gap/src/sysfiles.c seems to catch SIGINT signals
provided that the doingReadline is zero or that gap was not compiled with
readline feature.
A gap session launched with the -E option does not catch the SIGINT:
is there a way to catch the SIGINT (without recompiling gap) ?
Thanks in advance,
Jerome
>
>
> HTH
> Alexander
>
> On 29 Aug 2014, at 09:57, Jerome BENOIT <g62993...@rezozer.net> wrote:
>
>> Hello Forum,
>>
>> how can we deactivate the readline library ?
>>
>> Thanks in advance,
>> Jerome
>>
>> _______________________________________________
>> Forum mailing list
>> Forum@mail.gap-system.org
>> http://mail.gap-system.org/mailman/listinfo/forum
>
_______________________________________________
Forum mailing list
Forum@mail.gap-system.org
http://mail.gap-system.org/mailman/listinfo/forum
