nixpkgs/pkgs/applications
Joachim Fasting 9e12be50b4
tor-browser-bundle-bin: support injecting additional prefs
The `extraPrefs` parameter is injected verbatim into the mozilla.cfg
file.

Note that the syntax is a superset of the usual prefs.js syntax.  The
following procedures are of particular interest:
pref() to set a preference as if it had been toggled in about:config
defaultPref() to set the *default* value of a preference
lockPref() to set a preference & prevent further modification
clearPref() to reset a preference to its default state

Example:
```nix
tor-browser-bundle-bin.override {
  extraPrefs = ''
    // Increase default security level
    pref("extensions.torbutton.security_slider", 2);
  '';
}
```
2017-07-13 10:12:33 +02:00
..
altcoins Merge pull request #27151 from dbrock/seth 2017-07-07 18:02:03 +02:00
audio helm:0.8.6 -> 0.9.0 (#27302) 2017-07-11 15:37:06 +01:00
backup crashplan: 4.8.2 -> 4.8.3 2017-06-24 16:19:30 +10:00
display-managers qt58: determine plugin and import paths from PATH 2017-06-18 08:44:47 -05:00
editors scite: 3.7.3 -> 3.7.5 2017-07-12 22:11:36 +02:00
gis Python: replace requests2 with requests tree-wide 2017-05-07 12:56:09 +02:00
graphics Merge pull request #27251 from jfrankenau/update-feh 2017-07-09 09:20:51 +01:00
inferno Use general hardening flag toggle lists 2016-03-05 18:55:26 +01:00
kde kde applications : fix builds by adding missing dependencies 2017-06-29 05:01:46 +00:00
misc Merge pull request #27285 from emmanuelrosa/pgadmin-desktop-file 2017-07-12 23:19:33 +01:00
networking tor-browser-bundle-bin: support injecting additional prefs 2017-07-13 10:12:33 +02:00
office skrooge: drop kdelibs4support dependency 2017-07-02 13:55:00 +03:00
science Merge pull request #27197 from kquick/master 2017-07-08 22:37:12 +02:00
search recoll: 1.21.3 -> 1.23.1 2017-03-22 17:14:30 -05:00
taxes
version-management git: add missing deps for filter-branch etc (#27221) 2017-07-11 17:00:17 +01:00
video Update e-mail address for nckx 2017-07-10 20:54:18 +02:00
virtualization docker-ce: 17.03.02-ce -> 17.06.0-ce 2017-07-10 09:58:32 +02:00
window-managers sway: 0.12.2 -> 0.13.0 2017-07-10 22:00:22 +01:00