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