Skip to content

Instantly share code, notes, and snippets.

@larryfox
Created July 29, 2014 12:22
Show Gist options
  • Save larryfox/231ea5b8105fc9d02d1b to your computer and use it in GitHub Desktop.
Save larryfox/231ea5b8105fc9d02d1b to your computer and use it in GitHub Desktop.
if isinteractive()
repl = Base.active_repl
repl.interface = Base.REPL.setup_interface(repl)
repl.interface.modes[1].first_prompt = \
repl.interface.modes[1].prompt = " \U2234 "
end
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment