From b65f1e565780478e0d6e7e2e6d7ebec9530b9fab Mon Sep 17 00:00:00 2001 From: intrigeri Date: Tue, 3 Jul 2018 19:05:32 +0000 Subject: [PATCH] Make extensions.torbutton.launch_warning be taken into account (refs: #15707) For some reason, it's ignored when we set it via /usr/share/tails/tor-browser-prefs.js. --- config/chroot_local-includes/etc/tor-browser/profile/prefs.js | 3 +++ .../chroot_local-includes/usr/share/tails/tor-browser-prefs.js | 1 - 2 files changed, 3 insertions(+), 1 deletion(-) create mode 100644 config/chroot_local-includes/etc/tor-browser/profile/prefs.js diff --git a/config/chroot_local-includes/etc/tor-browser/profile/prefs.js b/config/chroot_local-includes/etc/tor-browser/profile/prefs.js new file mode 100644 index 0000000000..d904749e39 --- /dev/null +++ b/config/chroot_local-includes/etc/tor-browser/profile/prefs.js @@ -0,0 +1,3 @@ +// Prefs that *need* to be here because they are not honored +// if we set them via /usr/share/tails/tor-browser-prefs.js +user_pref("extensions.torbutton.launch_warning", false); diff --git a/config/chroot_local-includes/usr/share/tails/tor-browser-prefs.js b/config/chroot_local-includes/usr/share/tails/tor-browser-prefs.js index d527ec181b..ef9dcca3b1 100644 --- a/config/chroot_local-includes/usr/share/tails/tor-browser-prefs.js +++ b/config/chroot_local-includes/usr/share/tails/tor-browser-prefs.js @@ -1,7 +1,6 @@ // As suggested in TBB's start-tor-browser script for system-wide Tor // instances pref("network.security.ports.banned", "631,6136,4444,4445,6668,7656,7657,7658,7659,7660,8998,9040,9050,9062,9150,9051"); -pref("extensions.torbutton.launch_warning", false); // Tails-specific configuration below -- GitLab