[GAP Forum] deactivate readline library

[Alexander Konovalov]

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.


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