From 04c31b3fddcd20eac41722711d3277245842d601 Mon Sep 17 00:00:00 2001 From: Yingbo Ma Date: Tue, 30 Mar 2021 02:44:57 -0400 Subject: [PATCH] Add an option to silence the banner using the SINGULAR_PRINT_BANNER ENV --- src/Singular.jl | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/src/Singular.jl b/src/Singular.jl index 5268dc2ab..e4c74c359 100644 --- a/src/Singular.jl +++ b/src/Singular.jl @@ -141,7 +141,8 @@ function __init__() casting_functions = create_casting_functions() show_banner = isinteractive() && - !any(x->x.name in ["Oscar"], keys(Base.package_locks)) + !any(x->x.name in ["Oscar"], keys(Base.package_locks)) && + get(ENV, "SINGULAR_PRINT_BANNER", "true") != "false" singular_version_nr=Singular.libSingular.version() ver = digits(singular_version_nr, base = 10)