diff options
author | 2019-04-24 12:54:40 +0200 | |
---|---|---|
committer | 2019-04-24 13:06:59 +0200 | |
commit | 63efb454a4af0ee5d4905f7cfae193138aef3e15 (patch) | |
tree | 2903a2dea16c9f3e8fe5b257ed6859189c405c4f /etc/github-desktop.profile | |
parent | Arch Linux fixes (diff) | |
download | firejail-63efb454a4af0ee5d4905f7cfae193138aef3e15.tar.gz firejail-63efb454a4af0ee5d4905f7cfae193138aef3e15.tar.zst firejail-63efb454a4af0ee5d4905f7cfae193138aef3e15.zip |
blacklist .git-credentials & .config/git (#2663) …
and noblacklist they in all profiles with
noblacklist .gitconfig
Diffstat (limited to 'etc/github-desktop.profile')
-rw-r--r-- | etc/github-desktop.profile | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/etc/github-desktop.profile b/etc/github-desktop.profile index cddb5fcbf..4a969f9ad 100644 --- a/etc/github-desktop.profile +++ b/etc/github-desktop.profile | |||
@@ -6,8 +6,10 @@ include github-desktop.local | |||
6 | # Persistent global definitions | 6 | # Persistent global definitions |
7 | include globals.local | 7 | include globals.local |
8 | 8 | ||
9 | noblacklist ${HOME}/.gitconfig | ||
10 | noblacklist ${HOME}/.config/GitHub Desktop | 9 | noblacklist ${HOME}/.config/GitHub Desktop |
10 | noblacklist ${HOME}/.config/git | ||
11 | noblacklist ${HOME}/.gitconfig | ||
12 | noblacklist ${HOME}/.git-credentials | ||
11 | 13 | ||
12 | include disable-common.inc | 14 | include disable-common.inc |
13 | include disable-passwdmgr.inc | 15 | include disable-passwdmgr.inc |