Bug#688412: configuration error?

Tito farmatito at tiscali.it
Tue Jul 16 20:32:21 BST 2019

On 7/16/19 5:23 PM, Matus UHLAR - fantomas wrote:
>> On Tue, 16 Jul 2019, Matus UHLAR - fantomas wrote:
>>> IIRC people using systemd were advised to use fstab to manipulate /tmp
>>> mount options.
> On 16.07.19 17:18, Thorsten Glaser wrote:
>> Yes, but systemd does not use /etc/default/tmpfs, so…
> ...which is exactly why I found it strange to have /tmp in fstab and yet
> expect using /etc/default/tmpfs.
> in case of /tmp in fstab, options should be in fstab too.
> In case of systemd, /tmp should be in fstab (and /etc/default/tmpfs won't be
> used)

couldn't it be acceptable to check for /tmp in /etc/fstab
if it is there it will be mounted automatically by some init
script with the options in /etc/fstab if it is not in fstab
it will be mounted with the options in /etc/default/tmpfs.
This would be useful when migrating from systemd to init
if you have some customized options for /tmp in /etc/fstab.


More information about the Debian-init-diversity mailing list