Skip to content

Update TeX.gitignore to capture .pygtex and .pygstyle #4287

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Open
wants to merge 1 commit into
base: main
Choose a base branch
from

Conversation

daniel-jakob
Copy link

@daniel-jakob daniel-jakob commented Apr 29, 2023

Reasons for making this change:

When minted is ran with caching enabled, two file types are created used in the caching process, .pgytex and .pygstyle. These were not being captured before pull request.

Links to documentation supporting these rule changes:

https://tug.ctan.org/macros/latex/contrib/minted/minted.pdf
.pygtex files are discussed in the section 8.3 of the implementation portion of the documentation and .pygstyle is mentioned in section 8.5.

When minted is ran with caching enabled, two file types are created used in the caching process, .pgytex and .pygstyle.
These were not being captured before pull request.

https://tug.ctan.org/macros/latex/contrib/minted/minted.pdf .pygtex files are discussed in the section 8.3 of the implementation portion of the  documentation and .pygstyle is mentioned in section 8.5.
@vvhybe
Copy link

vvhybe commented Apr 30, 2023

I think this is what they called the magic of open source :octocat:, it's putting effort into your contribution 💯wich will make it more spicy

@daniel-jakob
Copy link
Author

Just wondering if there is any work being done on this repo? Don't see too many pull requests being merged.

Copy link

github-actions bot commented Jun 9, 2025

This PR is stale because there have been no updates in 90 days. It will close after 180 days of inactivity. Leave a comment if you want to keep it open 😄

@github-actions github-actions bot added the stale label Jun 9, 2025
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants