Merge pull request #241 from fieker/no_banner

supress banner in oscar
oscar-system · Mar 25, 2020 · 3ad7d65 · 3ad7d65
2 parents 68f7882 + 9e7af02
commit 3ad7d65
Showing 1 changed file with 5 additions and 2 deletions.
diff --git a/src/Polymake.jl b/src/Polymake.jl
@@ -56,8 +56,11 @@ function __init__()
     end
 
     try
-        initialize_polymake(isinteractive())
-        if !isinteractive()
+        show_banner = isinteractive() &&
+                       !any(x->x.name in ["Oscar"], keys(Base.package_locks))
+
+        initialize_polymake(show_banner)
+        if !show_banner
             shell_execute(raw"$Verbose::credits=\"0\";")
         end
     catch ex # initialize_polymake throws jl_error