On Sat, Nov 24, 2018 at 06:47:42PM +0100, Didier Kryn wrote:
>
>     In my last install, I still had /tmp and /var on separate partitions,
> but I'm questionning the validity of such a setup.

It's useful to have /tmp on a separate partition in case some process
running amok fills it and ordinary shell commands that need temprary
files stop working.

After a reboot it's clean again.

-- hendrik