From a4deb5681ec924523b018196db39214ac0c1875e Mon Sep 17 00:00:00 2001 From: Fred Barclay Date: Thu, 15 Jun 2017 11:54:26 -0500 Subject: [PATCH] Uncomment private-dev for vlc profile. Since private-dev now allows video devices, we can probably enable private-dev in the profile. --- etc/vlc.profile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/etc/vlc.profile b/etc/vlc.profile index efd6d04a6..b36e844ff 100644 --- a/etc/vlc.profile +++ b/etc/vlc.profile @@ -24,7 +24,7 @@ seccomp shell none private-bin vlc,cvlc,nvlc,rvlc,qvlc,svlc -# private-dev +private-dev private-tmp noexec ${HOME}