In my local setup, I have
/tmp in a separate partition.
Now I want to get rid of that partition, integrating it in the
/tmp is occupied; then I’m not able to unmount it.
Question: how can I get rid of
/tmp that way?