diff options
Diffstat (limited to 'etc/midori.profile')
-rw-r--r-- | etc/midori.profile | 65 |
1 files changed, 0 insertions, 65 deletions
diff --git a/etc/midori.profile b/etc/midori.profile deleted file mode 100644 index e15259608..000000000 --- a/etc/midori.profile +++ /dev/null | |||
@@ -1,65 +0,0 @@ | |||
1 | # Firejail profile for midori | ||
2 | # Description: Lightweight web browser | ||
3 | # This file is overwritten after every install/update | ||
4 | # Persistent local customizations | ||
5 | include midori.local | ||
6 | # Persistent global definitions | ||
7 | include globals.local | ||
8 | |||
9 | # noexec ${HOME} breaks DRM binaries. | ||
10 | ?BROWSER_ALLOW_DRM: ignore noexec ${HOME} | ||
11 | |||
12 | noblacklist ${HOME}/.cache/midori | ||
13 | noblacklist ${HOME}/.config/midori | ||
14 | noblacklist ${HOME}/.local/share/midori | ||
15 | # noblacklist ${HOME}/.local/share/webkit | ||
16 | # noblacklist ${HOME}/.local/share/webkitgtk | ||
17 | noblacklist ${HOME}/.pki | ||
18 | noblacklist ${HOME}/.local/share/pki | ||
19 | |||
20 | noblacklist ${HOME}/.cache/gnome-mplayer | ||
21 | noblacklist ${HOME}/.config/gnome-mplayer | ||
22 | noblacklist ${HOME}/.lastpass | ||
23 | |||
24 | include disable-common.inc | ||
25 | include disable-devel.inc | ||
26 | include disable-exec.inc | ||
27 | include disable-interpreters.inc | ||
28 | #include disable-passwdmgr.inc | ||
29 | include disable-programs.inc | ||
30 | include disable-xdg.inc | ||
31 | |||
32 | mkdir ${HOME}/.cache/midori | ||
33 | mkdir ${HOME}/.config/midori | ||
34 | mkdir ${HOME}/.local/share/midori | ||
35 | mkdir ${HOME}/.local/share/webkit | ||
36 | mkdir ${HOME}/.local/share/webkitgtk | ||
37 | mkdir ${HOME}/.pki | ||
38 | mkdir ${HOME}/.local/share/pki | ||
39 | whitelist ${DOWNLOADS} | ||
40 | whitelist ${HOME}/.cache/gnome-mplayer/plugin | ||
41 | whitelist ${HOME}/.cache/midori | ||
42 | whitelist ${HOME}/.config/gnome-mplayer | ||
43 | whitelist ${HOME}/.config/midori | ||
44 | whitelist ${HOME}/.lastpass | ||
45 | whitelist ${HOME}/.local/share/midori | ||
46 | whitelist ${HOME}/.local/share/webkit | ||
47 | whitelist ${HOME}/.local/share/webkitgtk | ||
48 | whitelist ${HOME}/.pki | ||
49 | whitelist ${HOME}/.local/share/pki | ||
50 | include whitelist-common.inc | ||
51 | include whitelist-var-common.inc | ||
52 | |||
53 | apparmor | ||
54 | caps.drop all | ||
55 | netfilter | ||
56 | nodvd | ||
57 | nonewprivs | ||
58 | # noroot - problems on Ubuntu 14.04 | ||
59 | notv | ||
60 | protocol unix,inet,inet6,netlink | ||
61 | seccomp | ||
62 | tracelog | ||
63 | |||
64 | disable-mnt | ||
65 | private-tmp | ||