Le mardi 26 avril 2016 à 09:17 -0700, Chang Kwon a écrit :
> I was wondering what is the proper way to change the package name
> under development. This is often the case when I submit a package and
> then was recommended to revise the package name. Well, without much
> knowledge of git, I always mess up...
>
> When I'm ready to develop a package, I generate a package:
> Pkg.generate("TestPkg", "MIT")
>
> and keep developing. When I'm ready to publish it, I do:
>
> Pkg.register("TestPkg")
> Pkg.tag("TestPkg")
> Pkg.publish()
>
> Then, I make a pull request on GitHub.
>
> Suppose then I need to change the package name to "NewPackageName".
> What do I do now?
> Things to do might be:
>
> - change name of the GitHub.com repository
> - change the folder name from .julia/v0.4/TestPkg to
> .julia/v0.4/NewPackageName
> - changing the remote repository address to https://github.com/chkwon
> /NewPackageName.jl.git
>
> Then I usually have some complaints and errors from Pkg.update() and
> Pkg.publish() saying that TestPkg does not exist, etc. At this
> moment, I'm messed up with .julia/v0.4 folder and all other
> repositories. What is the proper order of making changes?
I've followed this process recently, and I don't remember errors like
that. As long as there isn't any mention of TestPkg under .julia, you
should be fine (and grep -R can tell you that).
Could you post the exact errors you get?
Regards