[GAP Forum] deactivate readline library

[Jerome BENOIT]

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 <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
>