I know one can change the REPL prompt to show numbers instead of julia>. I believe there is also a way to GOTO a number. How does one do that?
2 Likes
Shameless plug: StartupCustomizer.jl
can enable that for you in just a few lines:
julia> Pkg.add("StartupCustomizer")
julia> import StartupCustomizer
julia> StartupCustomizer.add(StartupCustomizer.NumberedPrompt())
1 Like