Replies: 1 comment 2 replies
-
If you use the |
Beta Was this translation helpful? Give feedback.
2 replies
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
-
Hi.
I was wondering if it's possible to add a mechanism to override a package shipped in the bundle with a local copy. This would help with developing the package.
The use case would be for maintainers of packages that are in the bundle. Currently they can use the -Z search-path to point to a local package or document class, however these, or at least the document classes, must have a different name. With an ovverride option the local file would override the one in the bundle without renaming, simplifying the process.
This would simplify testing and maintaining.
The option could work also in an isolated or global ways: it could specify if it override only the package from the "init" document (the one you start compilation), the first and other local packages only, or also overriding it for all package in the bundle.
I found myself in the process of modifying some packages in local, it could have been shelpful.
Thanks for reading.
Beta Was this translation helpful? Give feedback.
All reactions