Bug#688412: configuration error?

[Tito]

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)
> 

Hi,
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.

Ciao,
Tito