Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Introduce command line options --norepl and --nointeract, remove IsLIBGAP constant #2723

Merged
merged 2 commits into from
Aug 24, 2018
Merged

Introduce command line options --norepl and --nointeract, remove IsLIBGAP constant #2723

merged 2 commits into from
Aug 24, 2018

Commits on Aug 24, 2018

  1. Introduce command line options --norepl and --nointeract to disable G… 

    …AP shell

* --norepl just disables the read-evaluate-print-loop, so GAP can still
  go into a break loop

* --nointeract disables both the repl and the break loop
    Markus Pfeiffer committed Aug 24, 2018
    Configuration menu
    Copy the full SHA
    abe6c4d View commit details
    Browse the repository at this point in the history

  2. Remove IsLIBGAP constant 

    The presence of the `--norepl` command line option makes the `IsLIBGAP`
constant obsolete, so we remove it.
    Markus Pfeiffer committed Aug 24, 2018
    Configuration menu
    Copy the full SHA
    5857c97 View commit details
    Browse the repository at this point in the history