man/systemd.exec: suffix one more directory with /

This commit is contained in:
Mike Yuan 2023-10-05 05:30:46 +08:00
parent 723ce80602
commit 6460a89a1b
No known key found for this signature in database
GPG key ID: 417471C0A40F58B3

View file

@ -350,7 +350,7 @@
the service with a private, minimal version of <filename>/dev/</filename>, combine this option with
<varname>PrivateDevices=</varname>.</para>
<para>In order to allow propagating mounts at runtime in a safe manner, <filename>/run/systemd/propagate</filename>
<para>In order to allow propagating mounts at runtime in a safe manner, <filename>/run/systemd/propagate/</filename>
on the host will be used to set up new mounts, and <filename>/run/host/incoming/</filename> in the private namespace
will be used as an intermediate step to store them before being moved to the final mount point.</para>