-
Notifications
You must be signed in to change notification settings - Fork 5
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
Drop tool
extra
#380
Comments
As part of #384, I moved the only existing script ( |
After re-thinking about this, we would rather prefer to fully remove the plotting part from Higher-level: this is currently our only example of a "tool", although we may have more in the future. As long as they remain very lightweight, and with no implicit dependencies, we can keep them in the main package. If they become more complex, we should put back a |
Hmm... I see a few ways forward:
|
I thought about it some more, I think we should do the following: Separate the current If the example does come with the need to install an extra dependency, so be it (and we'll add a comment to a small README for it). But all the functions in the library can be used fine. |
This seems a good solution:
(minor detail: notice that we cannot simply split the file into two files that go in different folders, because |
That's great and looks like a very clean solution indeed. Bonus points for even having included the two example pdfs to see the output! |
We currently have a
tool
extrawhich we should remove.
Depending on how we structure things in #378 and #379, we may want to include a
tools
submodule in the package, but without any guarantees on its dependencies. Note that it should then be excluded from the coverage measure.The text was updated successfully, but these errors were encountered: