Comment 4 for bug 1450960

Revision history for this message
Martin Pitt (pitti) wrote : Re: dev file system is mounted without noexec

/dev/ is only writable for root and noexec is fairly useless to be honest, but adding nosuid might be a nice little improvement. /dev/pts and /dev/shm have restricted mount options as well, after all.