Linux: Separate partition for /tmp

The /tmp directory is a world-writable directory used for temporary storage. This script tests if a separate partition exists for /tmp. Copyright C 2020 Greenbone Networks GmbH SPDX-License-Identifier: GPL-2.0-or-later This program is free software; you can redistribute it and/or modify it under...