diff options
-rw-r--r-- | etc/profile-m-z/yelp.profile | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/etc/profile-m-z/yelp.profile b/etc/profile-m-z/yelp.profile index f957954dd..dbde8e0be 100644 --- a/etc/profile-m-z/yelp.profile +++ b/etc/profile-m-z/yelp.profile | |||
@@ -8,6 +8,9 @@ include globals.local | |||
8 | 8 | ||
9 | noblacklist ${HOME}/.config/yelp | 9 | noblacklist ${HOME}/.config/yelp |
10 | 10 | ||
11 | # sh is needed to allow Firefox to open links | ||
12 | include allow-bin-sh.inc | ||
13 | |||
11 | include disable-common.inc | 14 | include disable-common.inc |
12 | include disable-devel.inc | 15 | include disable-devel.inc |
13 | include disable-exec.inc | 16 | include disable-exec.inc |
@@ -16,6 +19,12 @@ include disable-programs.inc | |||
16 | include disable-shell.inc | 19 | include disable-shell.inc |
17 | include disable-xdg.inc | 20 | include disable-xdg.inc |
18 | 21 | ||
22 | # The lines below are needed to find the default Firefox profile name, to allow | ||
23 | # opening links in an existing instance of Firefox (note that it still fails if | ||
24 | # there isn't a Firefox instance running with the default profile; see #5352) | ||
25 | noblacklist ${HOME}/.mozilla | ||
26 | whitelist ${HOME}/.mozilla/firefox/profiles.ini | ||
27 | |||
19 | mkdir ${HOME}/.config/yelp | 28 | mkdir ${HOME}/.config/yelp |
20 | whitelist ${HOME}/.config/yelp | 29 | whitelist ${HOME}/.config/yelp |
21 | whitelist /usr/libexec/webkit2gtk-4.0 | 30 | whitelist /usr/libexec/webkit2gtk-4.0 |
@@ -59,6 +68,8 @@ private-tmp | |||
59 | dbus-user filter | 68 | dbus-user filter |
60 | dbus-user.own org.gnome.Yelp | 69 | dbus-user.own org.gnome.Yelp |
61 | dbus-user.talk ca.desrt.dconf | 70 | dbus-user.talk ca.desrt.dconf |
71 | # Allow D-Bus communication with Firefox for opening links | ||
72 | dbus-user.talk org.mozilla.* | ||
62 | dbus-system none | 73 | dbus-system none |
63 | 74 | ||
64 | # read-only ${HOME} breaks some features: | 75 | # read-only ${HOME} breaks some features: |