2017-01-11 00:36:43 +01:00
|
|
|
{ config, lib, pkgs, ... }:
|
|
|
|
|
|
|
|
with lib;
|
|
|
|
|
|
|
|
let
|
|
|
|
|
|
|
|
cfg = config.programs.firefox;
|
|
|
|
|
2019-03-11 00:55:32 +01:00
|
|
|
extensionPath = "extensions/{ec8030f7-c20a-464f-9b0e-13a3a9e97384}";
|
|
|
|
|
2019-05-24 09:08:56 +02:00
|
|
|
profiles =
|
|
|
|
flip mapAttrs' cfg.profiles (_: profile:
|
|
|
|
nameValuePair "Profile${toString profile.id}" {
|
|
|
|
Name = profile.name;
|
|
|
|
Path = profile.path;
|
|
|
|
IsRelative = 1;
|
|
|
|
Default = if profile.isDefault then 1 else 0;
|
|
|
|
}
|
|
|
|
) // {
|
|
|
|
General = {
|
|
|
|
StartWithLastProfile = 1;
|
|
|
|
};
|
|
|
|
};
|
|
|
|
|
|
|
|
profilesIni = generators.toINI {} profiles;
|
|
|
|
|
|
|
|
mkUserJs = prefs: extraPrefs: ''
|
|
|
|
// Generated by Home Manager.
|
|
|
|
|
|
|
|
${concatStrings (mapAttrsToList (name: value: ''
|
|
|
|
user_pref("${name}", ${builtins.toJSON value});
|
|
|
|
'') prefs)}
|
|
|
|
|
|
|
|
${extraPrefs}
|
|
|
|
'';
|
|
|
|
|
2017-01-11 00:36:43 +01:00
|
|
|
in
|
|
|
|
|
|
|
|
{
|
2017-09-26 23:40:31 +02:00
|
|
|
meta.maintainers = [ maintainers.rycee ];
|
|
|
|
|
2017-01-11 00:36:43 +01:00
|
|
|
options = {
|
|
|
|
programs.firefox = {
|
|
|
|
enable = mkEnableOption "Firefox";
|
|
|
|
|
|
|
|
package = mkOption {
|
|
|
|
type = types.package;
|
|
|
|
default = pkgs.firefox-unwrapped;
|
|
|
|
defaultText = "pkgs.firefox-unwrapped";
|
|
|
|
description = "The unwrapped Firefox package to use.";
|
|
|
|
};
|
|
|
|
|
2019-03-11 00:55:32 +01:00
|
|
|
extensions = mkOption {
|
|
|
|
type = types.listOf types.package;
|
|
|
|
default = [];
|
|
|
|
example = literalExample ''
|
2019-03-20 23:41:02 +01:00
|
|
|
with pkgs.nur.repos.rycee.firefox-addons; [
|
2019-03-11 00:55:32 +01:00
|
|
|
https-everywhere
|
|
|
|
privacy-badger
|
|
|
|
]
|
|
|
|
'';
|
|
|
|
description = ''
|
|
|
|
List of Firefox add-on packages to install. Note, it is
|
|
|
|
necessary to manually enable these extensions inside Firefox
|
|
|
|
after the first installation.
|
|
|
|
'';
|
|
|
|
};
|
|
|
|
|
2019-05-24 09:08:56 +02:00
|
|
|
profiles = mkOption {
|
|
|
|
type = types.attrsOf (types.submodule ({config, name, ...}: {
|
|
|
|
options = {
|
|
|
|
name = mkOption {
|
|
|
|
type = types.str;
|
|
|
|
default = name;
|
|
|
|
description = "Profile name.";
|
|
|
|
};
|
|
|
|
|
|
|
|
id = mkOption {
|
|
|
|
type = types.ints.unsigned;
|
|
|
|
default = 0;
|
|
|
|
description = ''
|
|
|
|
Profile ID. This should be set to a unique number per profile.
|
|
|
|
'';
|
|
|
|
};
|
|
|
|
|
|
|
|
settings = mkOption {
|
|
|
|
type = with types; attrsOf (either bool (either int str));
|
|
|
|
default = {};
|
|
|
|
example = literalExample ''
|
|
|
|
{
|
|
|
|
"browser.startup.homepage" = "https://nixos.org";
|
|
|
|
"browser.search.region" = "GB";
|
|
|
|
"browser.search.isUS" = false;
|
|
|
|
"distribution.searchplugins.defaultLocale" = "en-GB";
|
|
|
|
"general.useragent.locale" = "en-GB";
|
|
|
|
"browser.bookmarks.showMobileBookmarks" = true;
|
|
|
|
}
|
|
|
|
'';
|
|
|
|
description = "Attribute set of Firefox preferences.";
|
|
|
|
};
|
|
|
|
|
|
|
|
extraConfig = mkOption {
|
|
|
|
type = types.lines;
|
|
|
|
default = "";
|
|
|
|
description = ''
|
|
|
|
Extra preferences to add to <filename>user.js</filename>.
|
|
|
|
'';
|
|
|
|
};
|
|
|
|
|
|
|
|
userChrome = mkOption {
|
|
|
|
type = types.lines;
|
|
|
|
default = "";
|
|
|
|
description = "Custom Firefox CSS.";
|
|
|
|
example = ''
|
|
|
|
/* Hide tab bar in FF Quantum */
|
|
|
|
@-moz-document url("chrome://browser/content/browser.xul") {
|
|
|
|
#TabsToolbar {
|
|
|
|
visibility: collapse !important;
|
|
|
|
margin-bottom: 21px !important;
|
|
|
|
}
|
|
|
|
|
|
|
|
#sidebar-box[sidebarcommand="treestyletab_piro_sakura_ne_jp-sidebar-action"] #sidebar-header {
|
|
|
|
visibility: collapse !important;
|
|
|
|
}
|
|
|
|
}
|
|
|
|
'';
|
|
|
|
};
|
|
|
|
|
|
|
|
path = mkOption {
|
|
|
|
type = types.str;
|
|
|
|
default = name;
|
|
|
|
description = "Profile path.";
|
|
|
|
};
|
|
|
|
|
|
|
|
isDefault = mkOption {
|
|
|
|
type = types.bool;
|
|
|
|
default = config.id == 0;
|
|
|
|
defaultText = "true if profile ID is 0";
|
|
|
|
description = "Whether this is a default profile.";
|
|
|
|
};
|
|
|
|
};
|
|
|
|
}));
|
|
|
|
default = {};
|
|
|
|
description = "Attribute set of Firefox profiles.";
|
|
|
|
};
|
|
|
|
|
2017-01-11 00:36:43 +01:00
|
|
|
enableAdobeFlash = mkOption {
|
|
|
|
type = types.bool;
|
|
|
|
default = false;
|
|
|
|
description = "Whether to enable the unfree Adobe Flash plugin.";
|
|
|
|
};
|
|
|
|
|
|
|
|
enableGoogleTalk = mkOption {
|
|
|
|
type = types.bool;
|
|
|
|
default = false;
|
2019-04-27 10:01:30 +02:00
|
|
|
description = ''
|
|
|
|
Whether to enable the unfree Google Talk plugin. This option
|
|
|
|
is <emphasis>deprecated</emphasis> and will only work if
|
|
|
|
|
|
|
|
<programlisting language="nix">
|
|
|
|
programs.firefox.package = pkgs.firefox-esr-52-unwrapped;
|
|
|
|
</programlisting>
|
|
|
|
|
|
|
|
and the <option>plugin.load_flash_only</option> Firefox
|
|
|
|
option has been disabled.
|
|
|
|
'';
|
2017-01-11 00:36:43 +01:00
|
|
|
};
|
2017-10-12 01:16:33 +02:00
|
|
|
|
|
|
|
enableIcedTea = mkOption {
|
|
|
|
type = types.bool;
|
|
|
|
default = false;
|
2019-04-27 10:01:30 +02:00
|
|
|
description = ''
|
|
|
|
Whether to enable the Java applet plugin. This option is
|
|
|
|
<emphasis>deprecated</emphasis> and will only work if
|
|
|
|
|
|
|
|
<programlisting language="nix">
|
|
|
|
programs.firefox.package = pkgs.firefox-esr-52-unwrapped;
|
|
|
|
</programlisting>
|
|
|
|
|
|
|
|
and the <option>plugin.load_flash_only</option> Firefox
|
|
|
|
option has been disabled.
|
|
|
|
'';
|
2017-10-12 01:16:33 +02:00
|
|
|
};
|
2017-01-11 00:36:43 +01:00
|
|
|
};
|
|
|
|
};
|
|
|
|
|
|
|
|
config = mkIf cfg.enable {
|
2019-05-24 09:08:56 +02:00
|
|
|
assertions = [
|
|
|
|
(
|
|
|
|
let
|
|
|
|
defaults =
|
|
|
|
catAttrs "name" (filter (a: a.isDefault) (attrValues cfg.profiles));
|
|
|
|
in {
|
|
|
|
assertion = cfg.profiles == {} || length defaults == 1;
|
|
|
|
message =
|
|
|
|
"Must have exactly one default Firefox profile but found "
|
|
|
|
+ toString (length defaults)
|
|
|
|
+ optionalString (length defaults > 1)
|
|
|
|
(", namely " + concatStringsSep ", " defaults);
|
|
|
|
}
|
|
|
|
)
|
|
|
|
|
|
|
|
(
|
|
|
|
let
|
|
|
|
duplicates =
|
|
|
|
filterAttrs (_: v: length v != 1)
|
|
|
|
(zipAttrs
|
|
|
|
(mapAttrsToList (n: v: { "${toString v.id}" = n; })
|
|
|
|
(cfg.profiles)));
|
|
|
|
|
|
|
|
mkMsg = n: v: " - ID ${n} is used by ${concatStringsSep ", " v}";
|
|
|
|
in {
|
|
|
|
assertion = duplicates == {};
|
|
|
|
message =
|
|
|
|
"Must not have Firefox profiles with duplicate IDs but\n"
|
|
|
|
+ concatStringsSep "\n" (mapAttrsToList mkMsg duplicates);
|
|
|
|
}
|
|
|
|
)
|
|
|
|
];
|
|
|
|
|
2017-01-11 00:36:43 +01:00
|
|
|
home.packages =
|
|
|
|
let
|
|
|
|
# A bit of hackery to force a config into the wrapper.
|
|
|
|
browserName = cfg.package.browserName
|
|
|
|
or (builtins.parseDrvName cfg.package.name).name;
|
|
|
|
|
|
|
|
fcfg = setAttrByPath [browserName] {
|
|
|
|
enableAdobeFlash = cfg.enableAdobeFlash;
|
|
|
|
enableGoogleTalkPlugin = cfg.enableGoogleTalk;
|
2017-10-12 01:16:33 +02:00
|
|
|
icedtea = cfg.enableIcedTea;
|
2017-01-11 00:36:43 +01:00
|
|
|
};
|
|
|
|
|
|
|
|
wrapper = pkgs.wrapFirefox.override {
|
|
|
|
config = fcfg;
|
|
|
|
};
|
|
|
|
in
|
|
|
|
[ (wrapper cfg.package { }) ];
|
2019-03-11 00:55:32 +01:00
|
|
|
|
2019-05-24 09:08:56 +02:00
|
|
|
home.file = mkMerge (
|
|
|
|
[{
|
|
|
|
".mozilla/${extensionPath}" = mkIf (cfg.extensions != []) (
|
|
|
|
let
|
|
|
|
extensionsEnv = pkgs.buildEnv {
|
|
|
|
name = "hm-firefox-extensions";
|
|
|
|
paths = cfg.extensions;
|
|
|
|
};
|
|
|
|
in {
|
|
|
|
source = "${extensionsEnv}/share/mozilla/${extensionPath}";
|
|
|
|
recursive = true;
|
|
|
|
}
|
|
|
|
);
|
|
|
|
|
|
|
|
".mozilla/firefox/profiles.ini" = mkIf (cfg.profiles != {}) {
|
|
|
|
text = profilesIni;
|
2019-03-11 00:55:32 +01:00
|
|
|
};
|
2019-05-24 09:08:56 +02:00
|
|
|
}]
|
|
|
|
++ flip mapAttrsToList cfg.profiles (_: profile: {
|
|
|
|
".mozilla/firefox/${profile.path}/chrome/userChrome.css" =
|
|
|
|
mkIf (profile.userChrome != "") {
|
|
|
|
text = profile.userChrome;
|
|
|
|
};
|
|
|
|
|
|
|
|
".mozilla/firefox/${profile.path}/user.js" =
|
|
|
|
mkIf (profile.settings != {} || profile.extraConfig != "") {
|
|
|
|
text = mkUserJs profile.settings profile.extraConfig;
|
|
|
|
};
|
|
|
|
})
|
2019-03-11 00:55:32 +01:00
|
|
|
);
|
2017-01-11 00:36:43 +01:00
|
|
|
};
|
|
|
|
}
|