~jasper/live_doc

f7478372 — Jasper den Ouden 2 years ago main
Add deny -list. Rename permit to allow(list)
6f09426b — Jasper den Ouden 2 years ago
Filename mangling fix for when confusion between directory names and those in urls
3975e6e0 — Jasper den Ouden 2 years ago
Default root dir `~/` and allow permitting certain directories.
37378c56 — Jasper den Ouden 2 years ago
Configuration is passed to interpreters when making them. Also more docstrings and moving them to the top of the file. Will want metadata available without running the file.
dfdc17a0 — Jasper den Ouden 2 years ago
minor
e9b116c5 — Jasper den Ouden 2 years ago
Untested Graphviz outputting files
dfdcd5a4 — Jasper den Ouden 2 years ago
Untested triggering on other files a notebook may depend on
184f4aba — Jasper den Ouden 2 years ago
Second type of stderr because PythonSubprocessInterpreter catches them in two ways
ee9cf57c — Jasper den Ouden 2 years ago
Add sequence of highlighters to use and provide `need_progs` to interpreters
09806ba5 — Jasper den Ouden 2 years ago
Check `MainModuleDict` that also checks `need_progs`. Better combination of configs
6ef3cb08 — Jasper den Ouden 2 years ago
The `ModuleDict` approach applied to the highlighters also
2c97b220 — Jasper den Ouden 2 years ago
dot, hevea(latex) and discount(markdown) look if the binaries are there
23911240 — Jasper den Ouden 2 years ago
Allow configuring what interpreters/wrappers to use and allows fallbacks too
e07d75fc — Jasper den Ouden 2 years ago
`.info_done` not used. minor
25c5bbfb — Jasper den Ouden 2 years ago
More consistent output-file determining, `.load` function on state_json wrapper
3d0d8830 — Jasper den Ouden 2 years ago
Much neater i think. No more double treatment of files
4ffeb476 — Jasper den Ouden 2 years ago
Extract the whole per-file-name thing. Not sure if i am doing this right..
b244ffd2 — Jasper den Ouden 2 years ago
Wrapper that times how long the wrapped objects take to complete
d25ff1f2 — Jasper den Ouden 2 years ago
Start and keep updating immediately. Needed to make the server threaded.. Surely potential trouble when accessing at the same time..
d8db33b1 — Jasper den Ouden 2 years ago
Fix saving, remove `.filename` from HTMLOutput info
Next