Closed SimonEnsemble closed 3 years ago
About 2: this is already a feature of PlutoSliderServer, your attempt didn't work because this line:
creates and activates a new temporary environment, which does not contain your PlutoDeployment.toml file. It also excludes the file from the slider server (which you are not using), instead of the export.
You can configure PlutoSliderServer either using a toml file, or using keyword arguments. You can add a line here with
Export_exclude = ["lectures/skeletons/intro_to_julia.jl"]
About 1 and 3: can you please make separate issues about this? Explain 3 in more detail
thx a ton (using for my class)! would be cool to be able to:
index.html
but not have it over-written each time I push a new notebook