John, I tried your branch which works as expected, thank you. I found that there has been a PR at https://github.com/JuliaLang/julia/pull/13545 related to REPL hooks, not sure how much this overlaps with your solution. In any case, I hope to see this functionality merged.
- [julia-users] How to change REPL mode on startup? lapeyre . math122a
- Re: [julia-users] How to change REPL mode on... Keno Fischer
- Re: [julia-users] How to change REPL mod... lapeyre . math122a
- Re: [julia-users] How to change REPL... Rafael Fourquet
- Re: [julia-users] How to change ... lapeyre . math122a
- Re: [julia-users] How to change ... lapeyre . math122a
- Re: [julia-users] How to ch... Rafael Fourquet
- Re: [julia-users] How t... lapeyre . math122a
- [julia-users] Re: How to change REPL mode on... Ismael Venegas Castelló
