Christopher Jefferson

Results 110 comments of Christopher Jefferson

Just for confirmation, I assume you downloaded the tarball from www.gap-system.org?

It would be good some more details -- I tried reproducing this but it seemed to work fine (I'm on Ubuntu in WSL). A full terminal cut, like this, would...

In terms of fixing your issue, you could replace running GAP with something like this: `` current/bin/gap.sh -c 'LoadPackage("io");' -c '??blablfd' -c '(function() local a; for a in NamesGVars() do...

Having looked through history, this is caused by `system.c` line 826, introduced by @fingolfin , who (quite reasonably) stopped us using readline when GAP is not run from a proper...

One minor point, actually `-E` disables readline (this happens in 4.11 and 4.12), as readline is enabled by default. If people want this, and want something less confusing, we could...

My concern (and it's hard to know without tracing the code) is if this will reintroduce the bugs we were fixing by adding this -- there are some separate things,...

We could fairly easily disable ctrl+z, but users who run GAP through bash often use ctrl+z to pause GAP. I don't know if/how we can detect the special case of...

This still happens -- but will be looked at after 4.12 is released as I don't want to break anything so close to the release.

Given the mention of "nix", I believe the nix package tester doesn't allow remote connections. However, as @fingolfin says, I think this is "as intended", we want to test that...

I realise Debian might want to support many platforms, but we have limited person-power. Personally my preference is we don't try to support big-endian in any way unless someone was...