From 5cb09b276ee24e65d61b033c876177bb64c5d745 Mon Sep 17 00:00:00 2001
From: Reiner Herrmann <reiner@reiner-h.de>
Date: Fri, 12 Oct 2018 13:27:56 +0200
Subject: profiles: drop private-tmp from file, as running on temporary files
 is common use case

---
 etc/file.profile | 1 -
 1 file changed, 1 deletion(-)

(limited to 'etc')

diff --git a/etc/file.profile b/etc/file.profile
index 00e18de20..f84850148 100644
--- a/etc/file.profile
+++ b/etc/file.profile
@@ -35,7 +35,6 @@ private-cache
 private-dev
 private-etc magic.mgc,magic,localtime
 private-lib
-private-tmp
 
 memory-deny-write-execute
 noexec ${HOME}
-- 
cgit v1.2.3-54-g00ecf