-
Notifications
You must be signed in to change notification settings - Fork 374
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 tagged temp dirs to simplify cleanup #504
Use tagged temp dirs to simplify cleanup #504
Conversation
[APPROVALNOTIFIER] This PR is APPROVED This pull-request has been approved by: corneliusweig The full list of commands accepted by this bot can be found here. The pull request process is described here
Needs approval from an approver in each of these files:
Approvers can indicate their approval by writing |
/tmp shouldn't really need cleanup? :D Isn't that OS responsibility? |
Codecov Report
@@ Coverage Diff @@
## master #504 +/- ##
=======================================
Coverage 58.51% 58.51%
=======================================
Files 22 22
Lines 969 969
=======================================
Hits 567 567
Misses 346 346
Partials 56 56 Continue to review full report at Codecov.
|
It is, but usually (at least on my system) it's only done on reboot. And I don't boot frequently O_o This is not important, but a bit more comfortable. |
why don't you just add |
I think |
eh, you're right. |
/lgtm |
Fixes #...
Related issue: #...