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

Use file location as config ID #338

Open
dfsek opened this issue Jul 10, 2022 · 0 comments
Open

Use file location as config ID #338

dfsek opened this issue Jul 10, 2022 · 0 comments
Assignees
Labels
Status: Pending Issue/PR is currently awaiting approval by a moderator. Type: Question Further information is requested.

Comments

@dfsek
Copy link
Member

dfsek commented Jul 10, 2022

This would require simultaneous changes to Tectonic, rather than having an id key within configs, use the path of the file sans extension from the config pack root as the object ID. This would make it much more difficult to accidentally create 2 configs with the same ID, make it easier to navigate large packs, and make IDs of different file types more consistent.

@dfsek dfsek added Type: Question Further information is requested. Status: Pending Issue/PR is currently awaiting approval by a moderator. labels Jul 10, 2022
@dfsek dfsek self-assigned this Jul 10, 2022
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
Status: Pending Issue/PR is currently awaiting approval by a moderator. Type: Question Further information is requested.
Projects
Development

No branches or pull requests

1 participant