mirror of
https://github.com/nix-community/home-manager.git
synced 2025-11-09 12:06:04 +01:00
mkFirefoxModule: fix userChrome
This commit is contained in:
parent
cb65c81403
commit
1827e84344
1 changed files with 5 additions and 1 deletions
|
|
@ -869,7 +869,11 @@ in
|
||||||
++ lib.flip mapAttrsToList cfg.profiles (
|
++ lib.flip mapAttrsToList cfg.profiles (
|
||||||
_: profile:
|
_: profile:
|
||||||
let
|
let
|
||||||
chromePath = if lib.pathIsDirectory profile.userChrome then "chrome" else "chrome/userChrome.css";
|
chromePath =
|
||||||
|
if (lib.isPath profile.userChrome && lib.pathIsDirectory profile.userChrome) then
|
||||||
|
"chrome"
|
||||||
|
else
|
||||||
|
"chrome/userChrome.css";
|
||||||
sourcePath = if lib.types.path.check profile.userChrome then profile.userChrome else null;
|
sourcePath = if lib.types.path.check profile.userChrome then profile.userChrome else null;
|
||||||
in
|
in
|
||||||
# Merge the regular profile settings with extension settings
|
# Merge the regular profile settings with extension settings
|
||||||
|
|
|
||||||
Loading…
Add table
Add a link
Reference in a new issue