On Saturday, 1 October 2016 at 17:45:30 UTC, Dicebot wrote:
On Saturday, 1 October 2016 at 17:35:29 UTC, Andrei
Alexandrescu wrote:
I think /tmp/ is mounted per user so we should be good.
Anyhow... care to send a PR upstream? -- Andrei
You can't make any assumptions about how /tmp/ is mounted, it
is completely up to distro/administrator.
As for original post - it is not an issue. The whole /tmp/
content can be wiped between sessions (it is not uncommon to
mount it into RAM) - there should never be need to only remove
dmd related parts. The whole point of /tmp/ is to be a random
junkyard.
