Skip to content

Conversation

cmarmo
Copy link
Contributor

@cmarmo cmarmo commented Jul 4, 2025

Dear maintainers,

I'm planning to use this extension in production together with jupyterlab-git.
In this pull request I'm suggesting to change the default value of cleanup in the latex_cleanup context manager to False: I believe this is a safer default solution (see #158, #124).

Thank you for considering it.

Copy link

github-actions bot commented Jul 4, 2025

Binder 👈 Launch a Binder on branch cmarmo/jupyterlab-latex/cleanup-false

@krassowski krassowski added the bug label Jul 11, 2025

@contextmanager
def latex_cleanup(cleanup=True, workdir='.', whitelist=None, greylist=None):
def latex_cleanup(cleanup=False, workdir='.', whitelist=None, greylist=None):
Copy link
Member

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Does it work? It would seem this default is not used in:

with latex_cleanup(
cleanup=c.cleanup,

Can it be changed on the trait level?

cleanup = Bool(default_value=True, config=True,
help='Whether to clean up ".out/.aux" files or not.')

Copy link
Member

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Also I guess the help message should clarify that it is more aggressive than just out/aux

Copy link
Contributor Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Does it work? It would seem this default is not used in:

Right! Sorry I didn't catch how it's working.
I have modified config.py and clarified (I hope) the documentation.
Thanks for your review!

Copy link
Member

@krassowski krassowski left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

It fell through the cracks but it looks good to me - thank you!

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
Projects
Status: No status
Development

Successfully merging this pull request may close these issues.

2 participants