Skip to content
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

Including and excluding packaged files #19

Open
TimeTravelPenguin opened this issue Aug 23, 2024 · 0 comments
Open

Including and excluding packaged files #19

TimeTravelPenguin opened this issue Aug 23, 2024 · 0 comments

Comments

@TimeTravelPenguin
Copy link

I have been testing the scripts in this repo and noticed that it isn't ignoring entries listed within my .gitignore. Is it possible to exclude everything listed by git status --ignored?

While .typstignore is fine for specifying what is and isn't packageable source material, relisting everything from the .gitignore isn't feasible. In my case, I am using a generated .gitignore, so I am not sure which patterns are a minimal subset that would need to be included in .typstignore.

I have been thinking about the problem of packaging recently, and I have found that this kind of automated process is rather difficult to do nicely for everyone's use case.

The script package @preview takes 26 seconds on my machine (due to node_modules). I was thinking about whether it is possible/better to use .gitignore to optimise the enumerate function within the script, or if instead there could be a custom section within the typst.toml to configure what to include or exclude for a packaging script or utility.

I want to write my own tool to do this, which I might start soon, but for the moment, I wanted to start some discussion to gain additional input, and also suggest whether or not the exclusion of .gitignore entries is doable for the time being.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

No branches or pull requests

1 participant