Hi Again,
On 29/08/14 11:45, Jerome BENOIT wrote:
> 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) ?
In fact I was looking for softly terminating a gap session by sending a signal:
I guess that this kind a feature is not yet implemented.
Thanks,
Jerome
>
> 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
>
_______________________________________________
Forum mailing list
Forum@mail.gap-system.org
http://mail.gap-system.org/mailman/listinfo/forum
