Hide Polymake.jl banner, when used in other module

oscar-system · Mar 25, 2024 · edf5205 · edf5205
1 parent ad3143a
commit edf5205
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/src/Polymake.jl b/src/Polymake.jl
@@ -18,6 +18,7 @@ import Base: ==, <, <=, *, -, +, //, ^, div, rem, one, zero,
     length, numerator, push!, resize!,
     setdiff, setdiff!, setindex!, symdiff, symdiff!,
     union, union!
+import AbstractAlgebra: should_show_banner
 
 import Pkg
 import Downloads
@@ -240,7 +241,7 @@ function __init__()
 
     withenv(adjustenv...) do
        try
-           show_banner = isinteractive() && Base.JLOptions().banner != 0 &&
+           show_banner = should_show_banner() &&
                           !any(x->x.name in ["Oscar"], keys(Base.package_locks))
 
            initialize_polymake_with_dir("$(polymake_extension_config);user=$(polymake_user_dir)", installtop, installarch, show_banner)