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

Block Banner output when using Hecke as dependency #109

Closed
iliailmer opened this issue Nov 22, 2020 · 1 comment
Closed

Block Banner output when using Hecke as dependency #109

iliailmer opened this issue Nov 22, 2020 · 1 comment

Comments

@iliailmer
Copy link

Hi,

Is there a way to disable banner output from Hecke when using it as a dependency for a custom module?
Let me know if more details are required for this issue.

Thanks.
@thofma
Copy link
Owner

thofma commented Nov 30, 2020

I added a banner which can be disabled by HECKE_PRINT_BANNER=false (will be available in the next version). I will close this issue here in favor of oscar-system/Oscar.jl#92.

@thofma thofma closed this as completed Nov 30, 2020
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
2 participants
@thofma @iliailmer