diff options
| author | topimiettinen <topimiettinen@users.noreply.github.com> | 2016-05-16 02:34:05 +0000 |
|---|---|---|
| committer | Zbigniew Jędrzejewski-Szmek <zbyszek@in.waw.pl> | 2016-05-15 22:34:05 -0400 |
| commit | 737ba3c82c71c15de498f63527d264dc996ffa11 (patch) | |
| tree | 6db341e8a8664cd71a665a8d483ac44cf67b44b0 /coccinelle/empty-if.cocci | |
| parent | 80f524a4c973654c5d82bf15598466b2f96a487d (diff) | |
namespace: Make private /dev noexec and readonly (#3263)
Private /dev will not be managed by udev or others, so we can make it
noexec and readonly after we have made all device nodes. As /dev/shm
needs to be writable, we can't use bind_remount_recursive().
Diffstat (limited to 'coccinelle/empty-if.cocci')
0 files changed, 0 insertions, 0 deletions