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