From ef6a7d5ffedea9e6026ddcf206aa566d74e2bdea Mon Sep 17 00:00:00 2001 From: glitsj16 Date: Tue, 22 Jan 2019 03:34:16 +0000 Subject: Redo github-desktop.profile as blacklist profile Following suggestion in https://github.com/netblue30/firejail/pull/2362 to turn this into a blacklist profile. --- etc/github-desktop.profile | 8 +------- 1 file changed, 1 insertion(+), 7 deletions(-) diff --git a/etc/github-desktop.profile b/etc/github-desktop.profile index d7c894ac5..85aeceabe 100644 --- a/etc/github-desktop.profile +++ b/etc/github-desktop.profile @@ -6,13 +6,8 @@ include github-desktop.local # Persistent global definitions include globals.local -# Note: add noblacklist/whitelist entrees below for any -# location where you keep local repository clones. - noblacklist ${HOME}/.gitconfig -whitelist ${HOME}/.gitconfig noblacklist ${HOME}/.config/GitHub Desktop -whitelist ${HOME}/.config/GitHub Desktop include disable-common.inc include disable-passwdmgr.inc @@ -20,8 +15,6 @@ include disable-programs.inc include disable-devel.inc include disable-interpreters.inc -include whitelist-common.inc - caps.drop all netfilter # no3d @@ -45,6 +38,7 @@ disable-mnt # private-bin github-desktop private-cache private-dev +?HAS_APPIMAGE: ignore private-dev # private-etc none # private-lib private-tmp -- cgit v1.2.3-54-g00ecf