diff options
author | Fred Barclay <Fred-Barclay@users.noreply.github.com> | 2017-04-15 16:21:07 +0000 |
---|---|---|
committer | GitHub <noreply@github.com> | 2017-04-15 16:21:07 +0000 |
commit | 001abd573ac641e8f9c5afe11d6ef09d15cd53a2 (patch) | |
tree | 421d995e5e027b437d3f21132bcdd89742c235a2 /etc/dino.profile | |
parent | typo (fix #1217) (diff) | |
parent | Add a profile for Dino (diff) | |
download | firejail-001abd573ac641e8f9c5afe11d6ef09d15cd53a2.tar.gz firejail-001abd573ac641e8f9c5afe11d6ef09d15cd53a2.tar.zst firejail-001abd573ac641e8f9c5afe11d6ef09d15cd53a2.zip |
Merge pull request #1219 from SpotComms/master
Add a profile for Dino
Diffstat (limited to 'etc/dino.profile')
-rw-r--r-- | etc/dino.profile | 35 |
1 files changed, 35 insertions, 0 deletions
diff --git a/etc/dino.profile b/etc/dino.profile new file mode 100644 index 000000000..7634eae91 --- /dev/null +++ b/etc/dino.profile | |||
@@ -0,0 +1,35 @@ | |||
1 | # This file is overwritten during software install. | ||
2 | # Persistent customizations should go in a .local file. | ||
3 | include /etc/firejail/dino.local | ||
4 | |||
5 | # Firejail profile for Dino | ||
6 | noblacklist ${HOME}/.local/share/dino | ||
7 | |||
8 | mkdir ${HOME}/.local/share/dino | ||
9 | mkdir ${HOME}/Downloads | ||
10 | |||
11 | whitelist ${HOME}/.local/share/dino | ||
12 | whitelist ${HOME}/Downloads | ||
13 | |||
14 | include /etc/firejail/disable-common.inc | ||
15 | include /etc/firejail/disable-passwdmgr.inc | ||
16 | include /etc/firejail/disable-programs.inc | ||
17 | include /etc/firejail/disable-devel.inc | ||
18 | |||
19 | caps.drop all | ||
20 | netfilter | ||
21 | nogroups | ||
22 | nonewprivs | ||
23 | noroot | ||
24 | protocol unix,inet,inet6 | ||
25 | seccomp | ||
26 | shell none | ||
27 | |||
28 | private-bin dino | ||
29 | #private-etc fonts #breaks server connection | ||
30 | private-dev | ||
31 | private-tmp | ||
32 | machine-id | ||
33 | |||
34 | no3d | ||
35 | nosound | ||