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?
