Merge pull request #6547 from MikeMcQuaid/sandbox-allow-more-tty

sandbox: allow more TTYs.
This commit is contained in:
Mike McQuaid 2019-10-07 15:40:37 +01:00 committed by GitHub
commit 203f8d66a7
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -163,7 +163,7 @@ class Sandbox
(literal "/dev/random")
(literal "/dev/zero")
(regex #"^/dev/fd/[0-9]+$")
(regex #"^/dev/ttys?[0-9]*$")
(regex #"^/dev/tty[a-z0-9]*$")
)
(deny file-write*) ; deny non-whitelist file write operations
(allow process-exec