Dev setup

Work into a project:

• add, if necessary, officially unregistered packages according to

pkg> registry add https://github.com/control-toolbox/ct-registry.git
     Cloning registry from "https://github.com/control-toolbox/ct-registry.git"
       Added registry `ct-registry` to `~/.julia/registries/ct-registry`

• activate the project from its root dir (containing Project.toml)

pkg> activate .

• NB : pour utiliser un module interne au projet, faire using .[module name].

Set up julia environment for dev:

• add local registry in the package REPL

pkg> registry add https://github.com/control-toolbox/ct-registry.git
     Cloning registry from "https://github.com/control-toolbox/ct-registry.git"
       Added registry `ct-registry` to `~/.julia/registries/ct-registry`

• add resource for dev

pkg> dev /home/user/OptimalControl.jl
   Resolving package versions...

• notebook run: package is known thanks to dev (dev replaces an add command for an under dev package)