diff options
author | Fred-Barclay <Fred-Barclay@users.noreply.github.com> | 2019-02-17 12:09:02 -0600 |
---|---|---|
committer | Fred-Barclay <Fred-Barclay@users.noreply.github.com> | 2019-02-17 12:09:02 -0600 |
commit | 83ddb3e5b276613ad2be190cebf74401daebef03 (patch) | |
tree | 542b76f3d93dec7c18bc986836e738679efa42a1 /etc/github-desktop.profile | |
parent | Add alternatives to private-etc for profiles in /etc-fixes (diff) | |
download | firejail-83ddb3e5b276613ad2be190cebf74401daebef03.tar.gz firejail-83ddb3e5b276613ad2be190cebf74401daebef03.tar.zst firejail-83ddb3e5b276613ad2be190cebf74401daebef03.zip |
Add alternatives to private-etc for profiles in etc/
See discussion in #2399
Diffstat (limited to 'etc/github-desktop.profile')
-rw-r--r-- | etc/github-desktop.profile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/etc/github-desktop.profile b/etc/github-desktop.profile index 9ac212fe8..934ac7c40 100644 --- a/etc/github-desktop.profile +++ b/etc/github-desktop.profile | |||
@@ -39,7 +39,7 @@ disable-mnt | |||
39 | private-cache | 39 | private-cache |
40 | ?HAS_APPIMAGE: ignore private-dev | 40 | ?HAS_APPIMAGE: ignore private-dev |
41 | private-dev | 41 | private-dev |
42 | # private-etc none | 42 | # private-etc alternatives |
43 | # private-lib | 43 | # private-lib |
44 | private-tmp | 44 | private-tmp |
45 | 45 | ||