summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorJan Pokorný <jpokorny@redhat.com>2014-04-10 14:00:15 +0200
committerJan Pokorný <jpokorny@redhat.com>2014-04-10 14:00:15 +0200
commitb975a3ad50177fedd46588c9376a9dbfeb32ff46 (patch)
treebd2d3569ae9509acb15a94cbe0d72e93982e8df6
parentdc8a1fb5fd33a3dac3ac544b6816d7dbbdb80143 (diff)
downloaddotfiles-b975a3ad50177fedd46588c9376a9dbfeb32ff46.zip
dotfiles-b975a3ad50177fedd46588c9376a9dbfeb32ff46.tar.gz
dotfiles-b975a3ad50177fedd46588c9376a9dbfeb32ff46.tar.xz
Firefox settings: kill "Gnome Shell Integration" with fire of the fox
Signed-off-by: Jan Pokorný <jpokorny@redhat.com>
-rw-r--r--scripts/firstrun/10-firefox/pentadactylrc-firstrun4
1 files changed, 4 insertions, 0 deletions
diff --git a/scripts/firstrun/10-firefox/pentadactylrc-firstrun b/scripts/firstrun/10-firefox/pentadactylrc-firstrun
index 17b7fdb..818a1ce 100644
--- a/scripts/firstrun/10-firefox/pentadactylrc-firstrun
+++ b/scripts/firstrun/10-firefox/pentadactylrc-firstrun
@@ -106,3 +106,7 @@ set! noscript.autoAllow=1
"Greasemonkey
set! extensions.greasemonkey.installDelay=0
+
+"blacklist undesired(!) "Gnome-Shell Integration" plugin (why installed??!)
+"higher level: https://wiki.mozilla.org/Extension_Blocklisting:Code_Design
+set! plugin.state.libgnome-shell-browser-plugin=0