Skip to content

Latest commit

 

History

History
52 lines (38 loc) · 1.2 KB

notes.md

File metadata and controls

52 lines (38 loc) · 1.2 KB
Raw

Tag version notes

  1. git commit -m "Tag v0.0.1: changes"
  2. git tag v0.0.1
  3. git push origin main --tags

Cloning the repository

# Cd to where you would like to clone to, e.g. `~/.julia/dev`.
$ git clone https://github.com/StanJulia/ROSTuringPluto.jl ROSTuringPluto
$ cd ROSTuringPluto/notebooks
$ julia

To use in Pluto:

julia> using Pluto
julia> Pluto.run()

Navigate in browser page opened by Pluto to a notebook file.

To use in the Julia REPL:

julia> ]                               # Actvate Pkg mode
(@v1.6) pkg> activate .                # Activate pkg in .
(ROSTuringPluto) pkg> instantiate      # Install in pkg environment
(ROSTuringPluto) pkg> <delete>         # Exit package mode
julia>

If above procedure fails, if present, try to delete the Manifest.toml file and repeat above steps. As mentioned above, these steps are only needed the first time.

If you want to use a specific tagged version, use:

# cd to cloned directory
$ git checkout v0.0.1

Extract .jl from Jupyter notebook (jupytext needs to be installed)

jupytext --to jl "./ch7.ipynb"

Creating pdf files (cd to notebooks/chapters)

import PlutoPDF
PlutoPDF.pluto_to_pdf("notebook.jl")