Hello,
That means a fully working solution looks something like this: $ mount --bind /home/tmp/ /home/tmp/ $ mount -o remount,noexec /home/tmp/ $ mount --bind /home/tmp/ /tmp/
thanks, it really works. It even works after adding appropriate lines to /etc/fstab so this is automatically done at boot time (I was afraid that mount woudln't like entries with duplicate mountpoints).
Regards Marten -- fedora-selinux-list mailing list fedora-selinux-list@xxxxxxxxxx https://www.redhat.com/mailman/listinfo/fedora-selinux-list