diff --git a/src/Polymake.jl b/src/Polymake.jl index b0a9deb4..1601beb2 100644 --- a/src/Polymake.jl +++ b/src/Polymake.jl @@ -55,9 +55,12 @@ function __init__() prepare_env() end + show_banner = isinteractive() && + !any(x->x.name in ["Oscar"], keys(Base.package_locks)) + try - initialize_polymake(isinteractive()) - if !isinteractive() + initialize_polymake(show_banner) + if !show_banner shell_execute(raw"$Verbose::credits=\"0\";") end catch ex # initialize_polymake throws jl_error @@ -112,5 +115,8 @@ include("polynomial.jl") include("polymake_direct_calls.jl") -include("generate_applications.jl") +Base.CoreLogging.with_logger(Base.CoreLogging.NullLogger()) do + include("generate_applications.jl") +end + end # of module Polymake