[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