On 10/01/2016 01:48 PM, Dicebot wrote:
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.
Granted, no contest. Seems to me we could be a better denizen of said
junkyard. What I noticed other apps do is create one directory in /tmp
and then place their junk in there. -- Andrei
