[GAP Forum] deactivate readline library

[Jerome BENOIT]

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 <g6299304p at rezozer.net> wrote:
>>
>>> Hello Forum,
>>>
>>> how can we deactivate the readline library ?
>>>
>>> Thanks in advance,
>>> Jerome
>>>
>>> _______________________________________________
>>> Forum mailing list
>>> Forum at mail.gap-system.org
>>> http://mail.gap-system.org/mailman/listinfo/forum
>>
> 
> _______________________________________________
> Forum mailing list
> Forum at mail.gap-system.org
> http://mail.gap-system.org/mailman/listinfo/forum
>