ReplMaker.jl icon indicating copy to clipboard operation
ReplMaker.jl copied to clipboard

Rename package to REPLMaker?

Open musm opened this issue 5 years ago • 3 comments

Feel free to close this issue, and I totally get that people opening such issues is usually very annoying. In any case, thought I'd mention the following packages

REPLHistory     REPLTreeViews    REPLCompletions  REPLTetris       

and the REPL stdlib, which makes me wonder if it would be a good idea to alias the package name to REPLMaker

musm avatar Sep 15 '20 17:09 musm

Yeah, I definitely regret naming this one ReplMaker.jl. I've been thinking of just forking this, and naming the fork REPLMaker.jl and registering that.

MasonProtter avatar Sep 15 '20 17:09 MasonProtter

I thought there was another way to go about renaming packages in the Pkg.jl documentation, but I couldn't find it. I mean it should also be possible to literally just rename this repo as well, if I'm not mistaken then reregister.

musm avatar Sep 19 '20 05:09 musm

Yes, rename repo and re-register will work.

LilithHafner avatar Apr 09 '24 14:04 LilithHafner