aboutsummaryrefslogtreecommitdiffstats
path: root/etc/github-desktop.profile
diff options
context:
space:
mode:
Diffstat (limited to 'etc/github-desktop.profile')
-rw-r--r--etc/github-desktop.profile48
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
5include github-desktop.local
6# Persistent global definitions
7include globals.local
8
9noblacklist ${HOME}/.gitconfig
10noblacklist ${HOME}/.config/GitHub Desktop
11
12include disable-common.inc
13include disable-passwdmgr.inc
14include disable-programs.inc
15include disable-devel.inc
16include disable-interpreters.inc
17
18caps.drop all
19netfilter
20# no3d
21nodvd
22nogroups
23nonewprivs
24noroot
25nosound
26notv
27nou2f
28novideo
29protocol unix,inet,inet6,netlink
30seccomp
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
37disable-mnt
38# private-bin github-desktop
39private-cache
40?HAS_APPIMAGE: ignore private-dev
41private-dev
42# private-etc none
43# private-lib
44private-tmp
45
46# memory-deny-write-execute
47noexec ${HOME}
48noexec /tmp