diff options
Diffstat (limited to 'etc/github-desktop.profile')
-rw-r--r-- | etc/github-desktop.profile | 48 |
1 files changed, 48 insertions, 0 deletions
diff --git a/etc/github-desktop.profile b/etc/github-desktop.profile new file mode 100644 index 000000000..9ac212fe8 --- /dev/null +++ b/etc/github-desktop.profile | |||
@@ -0,0 +1,48 @@ | |||
1 | # Firejail profile for github-desktop | ||
2 | # Description: Extend your GitHub workflow beyond your browser with GitHub Desktop | ||
3 | # This file is overwritten after every install/update | ||
4 | # Persistent local customizations | ||
5 | include github-desktop.local | ||
6 | # Persistent global definitions | ||
7 | include globals.local | ||
8 | |||
9 | noblacklist ${HOME}/.gitconfig | ||
10 | noblacklist ${HOME}/.config/GitHub Desktop | ||
11 | |||
12 | include disable-common.inc | ||
13 | include disable-passwdmgr.inc | ||
14 | include disable-programs.inc | ||
15 | include disable-devel.inc | ||
16 | include disable-interpreters.inc | ||
17 | |||
18 | caps.drop all | ||
19 | netfilter | ||
20 | # no3d | ||
21 | nodvd | ||
22 | nogroups | ||
23 | nonewprivs | ||
24 | noroot | ||
25 | nosound | ||
26 | notv | ||
27 | nou2f | ||
28 | novideo | ||
29 | protocol unix,inet,inet6,netlink | ||
30 | seccomp | ||
31 | |||
32 | # Note: On debian-based distributions the binary might be located in | ||
33 | # /opt/GitHub Desktop/github-desktop, and therefore not be in PATH. | ||
34 | # If that's the case you can start GitHub Desktop with firejail via | ||
35 | # `firejail "/opt/GitHub Desktop/github-desktop"`. | ||
36 | |||
37 | disable-mnt | ||
38 | # private-bin github-desktop | ||
39 | private-cache | ||
40 | ?HAS_APPIMAGE: ignore private-dev | ||
41 | private-dev | ||
42 | # private-etc none | ||
43 | # private-lib | ||
44 | private-tmp | ||
45 | |||
46 | # memory-deny-write-execute | ||
47 | noexec ${HOME} | ||
48 | noexec /tmp | ||