Developping non registered packages: should I always do dev package?

[findmyway]

@Olivier_Merchiers

I want to have packages A and B on github (or gitlab) to share them with my colleagues.

For unregistered packages, I would suggest creating a registry and your colleagues only need to add that registry. And you can find many other discussions here and on Registrator.jl

@Olivier_Merchiers

Is dev a purely local command?

Yes, only local. Unless you commit and push your changes to github…

@Olivier_Merchiers

If I do dev B, how can I avoid it to be copied to .julia/dev?

Then consider making a temp dir and activate that environment. Then it will not affect .jlia/dev. By the way, I remember that dev B will not copy B into .julia/dev. Correct me if I’m wrong.

@Olivier_Merchiers

Is this also true for Manifest.toml?

No. But for projects (instead of packages), the Manifest.toml file do help to reproducibility.

@Olivier_Merchiers

I give version tags to my commits. project.toml doesn’t seem to take this into. How can I put a version tag in Project.toml? By hand editing? Or is there a command for that?

The tag info will appear in Manifest.toml but not Project.toml.