diff options
Diffstat (limited to 'etc/gitg.profile')
-rw-r--r-- | etc/gitg.profile | 45 |
1 files changed, 44 insertions, 1 deletions
diff --git a/etc/gitg.profile b/etc/gitg.profile index 7e48cedf7..656d5cfd8 100644 --- a/etc/gitg.profile +++ b/etc/gitg.profile | |||
@@ -1 +1,44 @@ | |||
1 | ]0;firejail /usr/bin/meld ./etc/gitg_LOCAL_29017.profile ./etc/gitg_BASE_29017.profile ./etc/gitg_REMOTE_29017.profile \ No newline at end of file | 1 | # Firejail profile for gitg |
2 | # Description: Git repository viewer | ||
3 | # This file is overwritten after every install/update | ||
4 | # Persistent local customizations | ||
5 | include gitg.local | ||
6 | # Persistent global definitions | ||
7 | include globals.local | ||
8 | |||
9 | noblacklist ${HOME}/.config/git | ||
10 | noblacklist ${HOME}/.gitconfig | ||
11 | noblacklist ${HOME}/.git-credentials | ||
12 | noblacklist ${HOME}/.local/share/gitg | ||
13 | noblacklist ${HOME}/.ssh | ||
14 | |||
15 | include disable-common.inc | ||
16 | include disable-devel.inc | ||
17 | include disable-exec.inc | ||
18 | include disable-interpreters.inc | ||
19 | include disable-passwdmgr.inc | ||
20 | include disable-programs.inc | ||
21 | |||
22 | include whitelist-var-common.inc | ||
23 | |||
24 | caps.drop all | ||
25 | no3d | ||
26 | nodvd | ||
27 | nogroups | ||
28 | nonewprivs | ||
29 | noroot | ||
30 | nosound | ||
31 | notv | ||
32 | nou2f | ||
33 | novideo | ||
34 | protocol unix,inet,inet6 | ||
35 | seccomp | ||
36 | shell none | ||
37 | |||
38 | private-bin gitg,git,ssh | ||
39 | private-cache | ||
40 | private-dev | ||
41 | private-tmp | ||
42 | |||
43 | # mdwe breaks diff in older versions | ||
44 | #memory-deny-write-execute | ||