From f96ef2dd890d8a4f9aa47739eb6739794be49020 Mon Sep 17 00:00:00 2001 From: John Myles White Date: Sun, 23 Nov 2014 03:49:57 -0800 Subject: [PATCH] Add disclaimer to the banner --- base/version.jl | 10 ++++++++-- 1 file changed, 8 insertions(+), 2 deletions(-) diff --git a/base/version.jl b/base/version.jl index 29712c7d92dfa..f0d47b467f86a 100644 --- a/base/version.jl +++ b/base/version.jl @@ -220,7 +220,9 @@ function banner(io::IO = STDOUT) end end commit_date = GIT_VERSION_INFO.date_string != "" ? " ($(GIT_VERSION_INFO.date_string))": "" - + disclaimer = """Note that the REPL is only meant for prototype development. If you are + interested in the performance of a piece of code, please put that code + inside of a function so that Julia's JIT compiler can optimize it.""" if have_color tx = "\033[0m\033[1m" # text jl = "\033[0m\033[1m" # julia @@ -238,7 +240,9 @@ function banner(io::IO = STDOUT) $(jl)_/ |\\__'_|_|_|\\__'_|$(tx) | $(commit_string) $(jl)|__/$(tx) | $(Sys.MACHINE) - \033[0m""") + $(disclaimer) + \033[0m + """) else print(io,""" _ @@ -250,6 +254,8 @@ function banner(io::IO = STDOUT) _/ |\\__'_|_|_|\\__'_| | $(commit_string) |__/ | $(Sys.MACHINE) + $(disclaimer) + """) end end