Steven Clontz

Results 74 issues of Steven Clontz

Obsoletes #1959, addresses #2093. First few commits will create a environment suitable for (some) core PreTeXt development using GitHub Codespaces. In particular, anyone who is comfortable with the https://github.com/PreTeXtBook/pretext-codespace workflow...

My typical formatting for environments is to use indentations like so: ``` \begin{theorem} $a^2+b^2=c^2$ \end{theorem} \begin{proof} Pythagoras said so. \end{proof} ``` When using LaTeXTools keybindings, I'll `Cmd-L+E` to create the...

I'd like something like the following behavior when a configuration file setting `name="Universe"` is available at the default location, and `name="Planet"` is available at `custom.cfg`. In particular, I'd like the...

In https://github.com/TeamBasedInquiryLearning/precalculus/issues/165 we hit an issue where the version 9.2 of SageMath in our codespace hits a bug when `detect_poles=True`, which is fixed at least in SageMath 9.7. Can we...

Working with https://github.com/tjmagnus/polyomino it was demonsrated that when Terri rebuilds her print target on her own (Windows) machine, the previews for each interactive are being regenerated every time. This is...

I assume this has something to do with how static files are now handled. But in a Codespace using PreTeXt-CLI 2.3.5 or 2.3.6, CodeChat builds are taking a long, sometimes...

Continuing conversation from https://github.com/maymk/ExcelCalculus/pull/6

In an ideal world, I should be able to push my updated PreTeXt project to main, and then GitHub actions builds/generates everything and deploys it. This is particularly useful for...

CodeChat color-codes based on standard output vs errors: ![image](https://github.com/PreTeXtBook/pretext-cli/assets/1559632/7d19f06f-f6bf-4647-8977-9c34e3328f02) At some poine we should find a way for CLI to only use stderr when we have warnings and errors.

I like backing up the author version and replacing with ours, but we should omit the auto-management line as that's easy to forget to delete when auditing what to keep/revert.