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.