load Pkg when hitting Pkg repl history#51921
load Pkg when hitting Pkg repl history#51921IanButterworth wants to merge 1 commit intoJuliaLang:masterfrom
Conversation
|
I've been somewhat annoyed about this too but:
So maybe this is a good idea but it is perhaps worth pondering over it for a while if something else could be done. |
|
What about this one @KristofferC @Keno Maybe we just load like this in 1.11 to avoid regression and then try to make a lighter weight history that doesn't load Pkg until the command is executed, or something? |
5b305b5 to
aab135a
Compare
|
Idea from @vtjnash: make all history entries always visible, but if one is from a mode that's not available use a fallback prompt mode where the text is grayed out and gives a "Pkg not loaded" error if you try to run it. Maybe also make the prompt text un-editable. |
|
We could pair that with the same dummy pkg prompt from #54594 |
|
#54674 now allows scrolling through the dummy Pkg prompt if Pkg isn't loaded, then loads Pkg and executes on return. |
Previously, since Pkg was moved out of the sysimage, Pkg entries in history would be skipped until Pkg was loaded.