Atualmente, /
tem propagação de montagem compartilhada:
# findmnt -o TARGET,PROPAGATION /
TARGET PROPAGATION
/ shared
Estou pensando em alterá-lo para private
permitir mount --move
trabalhar em sistemas de arquivos montados em /mnt
e /media
.
(Eu quero usar mount --move
em vez do inseguro umount --lazy
)
Sem /
ser private
, mount --move
vai reclamar com algo como:
# mount --move /mnt/mountpoint /mnt/moved
mount: /mnt/moved: bad option; moving a mount residing under a shared mount is unsupported.
Por que é
/
shared
por padrão?Quais são as implicações de mudar
/
para serprivate
?
O sinalizador de propagação é alterado por
systemd
. Deman 7 mount_namespaces
:De https://github.com/systemd/systemd/blob/master/src/core/mount-setup.c#L406
As implicações dependem de seus casos de uso específicos. Eu acho que a maioria dos programas continuará a funcionar. No entanto, sua alteração será substituída na reinicialização.
Você pode ler mais no comentário de Lennart Poettering em https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=739593
Aqui está uma parte dele: