diff options
Diffstat (limited to 'etc/midori.profile')
-rw-r--r-- | etc/midori.profile | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/etc/midori.profile b/etc/midori.profile index 6a69f2282..4e9a6c63d 100644 --- a/etc/midori.profile +++ b/etc/midori.profile | |||
@@ -11,6 +11,7 @@ noblacklist ${HOME}/.local/share/midori | |||
11 | # noblacklist ${HOME}/.local/share/webkit | 11 | # noblacklist ${HOME}/.local/share/webkit |
12 | # noblacklist ${HOME}/.local/share/webkitgtk | 12 | # noblacklist ${HOME}/.local/share/webkitgtk |
13 | noblacklist ${HOME}/.pki | 13 | noblacklist ${HOME}/.pki |
14 | noblacklist ${HOME}/.local/share/pki | ||
14 | 15 | ||
15 | include disable-common.inc | 16 | include disable-common.inc |
16 | include disable-devel.inc | 17 | include disable-devel.inc |
@@ -23,6 +24,7 @@ mkdir ${HOME}/.local/share/midori | |||
23 | mkdir ${HOME}/.local/share/webkit | 24 | mkdir ${HOME}/.local/share/webkit |
24 | mkdir ${HOME}/.local/share/webkitgtk | 25 | mkdir ${HOME}/.local/share/webkitgtk |
25 | mkdir ${HOME}/.pki | 26 | mkdir ${HOME}/.pki |
27 | mkdir ${HOME}/.local/share/pki | ||
26 | whitelist ${DOWNLOADS} | 28 | whitelist ${DOWNLOADS} |
27 | whitelist ${HOME}/.cache/gnome-mplayer/plugin | 29 | whitelist ${HOME}/.cache/gnome-mplayer/plugin |
28 | whitelist ${HOME}/.cache/midori | 30 | whitelist ${HOME}/.cache/midori |
@@ -33,6 +35,7 @@ whitelist ${HOME}/.local/share/midori | |||
33 | whitelist ${HOME}/.local/share/webkit | 35 | whitelist ${HOME}/.local/share/webkit |
34 | whitelist ${HOME}/.local/share/webkitgtk | 36 | whitelist ${HOME}/.local/share/webkitgtk |
35 | whitelist ${HOME}/.pki | 37 | whitelist ${HOME}/.pki |
38 | whitelist ${HOME}/.local/share/pki | ||
36 | include whitelist-common.inc | 39 | include whitelist-common.inc |
37 | 40 | ||
38 | caps.drop all | 41 | caps.drop all |