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

cache.extra should be a per chunk option rather than a package option #404

Closed
jimhester opened this issue Oct 18, 2012 · 1 comment · Fixed by #405
Closed

cache.extra should be a per chunk option rather than a package option #404

jimhester opened this issue Oct 18, 2012 · 1 comment · Fixed by #405

Comments

@jimhester
Copy link
Contributor

Right now the cache.extra option is a package option, rather than a chunk option. I feel it should really be a chunk option, so that different chunks can have different things factored into their cache. So if I wanted a particular chunk to be dependent on a file modification time, and another to be dependent on the md5 hash of a file that would be possible.

@yihui yihui closed this as completed in 9068974 Oct 25, 2012
yihui added a commit that referenced this issue Oct 25, 2012
Change cache.extra to be a per chunk option (fixed #404)
yihui added a commit that referenced this issue Oct 25, 2012
yihui added a commit that referenced this issue Oct 25, 2012
@github-actions
Copy link

This old thread has been automatically locked. If you think you have found something related to this, please open a new issue by following the issue guide (https://yihui.org/issue/), and link to this old issue if necessary.

@github-actions github-actions bot locked as resolved and limited conversation to collaborators Nov 10, 2020
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
None yet
Projects
None yet
Development

Successfully merging a pull request may close this issue.

2 participants