From f413040c5e4c052b4bc81706b9f12e5dcf0fa5b3 Mon Sep 17 00:00:00 2001 From: rusty-snake Date: Sun, 2 Jun 2019 17:36:19 +0200 Subject: many profile cleanups (2) --- etc/google-play-music-desktop-player.profile | 9 +++++---- 1 file changed, 5 insertions(+), 4 deletions(-) (limited to 'etc/google-play-music-desktop-player.profile') diff --git a/etc/google-play-music-desktop-player.profile b/etc/google-play-music-desktop-player.profile index 4932c9e42..daa385234 100644 --- a/etc/google-play-music-desktop-player.profile +++ b/etc/google-play-music-desktop-player.profile @@ -5,14 +5,19 @@ include google-play-music-desktop-player.local # Persistent global definitions include globals.local +# noexec /tmp breaks mpris support +ignore noexec /tmp + noblacklist ${HOME}/.config/Google Play Music Desktop Player include disable-common.inc include disable-devel.inc +include disable-exec.inc include disable-interpreters.inc include disable-passwdmgr.inc include disable-programs.inc +mkdir ${HOME}/.config/Google Play Music Desktop Player # whitelist ${HOME}/.config/pulse # whitelist ${HOME}/.pulse whitelist ${HOME}/.config/Google Play Music Desktop Player @@ -35,7 +40,3 @@ shell none disable-mnt private-dev private-tmp - -noexec ${HOME} -# noexec /tmp breaks mpris support -#noexec /tmp -- cgit v1.2.3-54-g00ecf