Merge pull request #14374 from asser/fix_mount_option_nodev_polyinstantiated

Skip nodev mount option for polyinstantiated dirs

Author: Mab879

linux_os/guide/system/permissions/partitions/mount_option_nodev_nonroot_local_partitions/ansible/shared.yml

@@ -45,6 +45,9 @@
     - "item.mount is not match('/(boot|efi)')"
     - "item.options is not search('nodev')"
     - "item.fstype not in excluded_fstypes"
+    # Attempting to change polyinstantiated mounts for /tmp and /var/tmp, if present, will fail
+    - "(not accounts_polyinstantiated_var_tmp | default(false)) or item.mount != '/var/tmp/tmp-inst'"
+    - "(not accounts_polyinstantiated_tmp | default(false)) or item.mount != '/tmp/tmp-inst'"
   with_items:
     - "{{ ansible_facts.mounts }}"