diff --git a/base/client.jl b/base/client.jl index 858c64c05d060..c427f38aa412b 100644 --- a/base/client.jl +++ b/base/client.jl @@ -448,8 +448,8 @@ function run_main_repl(interactive::Bool, quiet::Bool, banner::Symbol, history_f end else # otherwise provide a simple fallback - if interactive && !quiet - @warn "REPL provider not available: using basic fallback" + if !fallback_repl && interactive && !quiet + @warn "REPL provider not available: using basic fallback" LOAD_PATH=join(Base.LOAD_PATH, Sys.iswindows() ? ';' : ':') end banner == :no || Base.banner(short=banner==:short) let input = stdin