Closed siefkenj closed 1 month ago
Nice! i didn't know about that option. I changed the prefix slightly to ptx-
, mostly to differentiate it from directories produced by the CLI, which could be helpful when chasing down who is doing what.
Catching up after a few days away - will get to other PR soon.
Maybe pretext_core_
could differentiate the two while still having them show up next to eachother when sorting alphabetically?
Perhaps. But "core" is PreTeXt, not something different. So maybe the CLI could do ptx-cli-
.
Prefixing the tmp directory with
pretext_
makes it easier to find when debugging. A similar change was done in the CLI.