Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
suppress the GAP banner when importing GAP.jl
This pull request addresses issue oscar-system#334. - By default, `using GAP` will not show the banner. - If Julia's `ENV[ "GAP_SHOW_BANNER" ]` is set to `"true"` then the GAP banner is shown on `using GAP`. - When the user loads GAP packages, it depends on the `LoadPackage` call whether a package banner is shown. This is the standard GAP behaviour in the situation that banners are in principle enabled: If there is a second argument `false` then the banner is not shown, otherwise it is shown. (The idea is to set the command line option `-b` when GAP shall be started without banner, and to reset this option after the start of GAP.) I think we should wait until issue oscar-system#333 gets resolved before switching off the GAP banner by default.
- Loading branch information