You could first uninstall the package, then rename on Github and then clone
from the new address.
Cheers,
Bart
On Tuesday, April 26, 2016 at 6:17:10 PM UTC+2, Chang Kwon wrote:
>
> 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?
>
>
