Stream: helpdesk (published)

Topic: Dev REPL package


view this post on Zulip Romeo Valentin (Apr 25 2024 at 20:43):

I want to make a slight modification to REPL.jl and try it out. Does anyone know if I can dev the REPL package without building Julia from source or something like that? ] dev REPL doesn't seem to work.

view this post on Zulip Romeo Valentin (Apr 25 2024 at 20:49):

Looks like something like this might work...

view this post on Zulip Zentrik (Apr 26 2024 at 05:07):

Romeo Valentin said:

Looks like something like this might work...

I believe the instructions for PKG.jl will work for any standard library including repl.jl

view this post on Zulip Romeo Valentin (Apr 26 2024 at 05:50):

I was indeed able to do using REPL, but since I'm already in the "upstream" REPL I'm not sure how to actually open the modified REPL.

view this post on Zulip Zentrik (Apr 26 2024 at 06:18):

I would have assumed that Julia would be using your fork automatically but I don't have any experience here. I was just going off of https://discourse.julialang.org/t/changes-to-codebase-not-reflecting/35653

view this post on Zulip Gunnar Farnebäck (Apr 26 2024 at 08:44):

If you start Julia with --project pointing to REPL and change the UUID in REPL/Project.toml it will at least precompile when you do using REPL and pkgdir(REPL) will point to the right place. Whether your REPL session is affected needs further investigation but seems somewhat doubtful.

view this post on Zulip Fredrik Ekre (Apr 26 2024 at 08:55):

https://github.com/JuliaLang/julia/blob/53f452a7216d5e8af9ccadb4c8a86bcf61466a87/base/client.jl#L412


Last updated: Nov 06 2024 at 04:40 UTC