Add line to the shell history

The default implementation is a noop, but other packages can refine it.

Property definitions

prompt :: prompt $ Sys :: prompt_add_history
# Add `line` to the shell history
#
# The default implementation is a noop, but other packages can refine it.
fun prompt_add_history(line: String) do end
lib/prompt/prompt.nit:31,1--34,43

readline :: readline $ Sys :: prompt_add_history
redef fun prompt_add_history(line) do native_add_history(line.to_cstring)
lib/readline/readline.nit:64,1--73