1st shot at suppressing the Polymake banner in Oscar

oscar-system · Apr 7, 2020 · 52ed095 · 52ed095
1 parent 68f7882
commit 52ed095
Showing 1 changed file with 9 additions and 3 deletions.
diff --git 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