mirror of
https://github.com/nix-community/home-manager.git
synced 2025-11-08 19:46:05 +01:00
firefox: fix user.js extensions.settings creation
Creates the user.js if profile.extensions.settings is set. This fixes the case when profile.extensions.settings is set but every other option in the mkIf is false, resulting in no user.js creation.
This commit is contained in:
parent
25f003f8a9
commit
1b25908d1d
1 changed files with 1 additions and 0 deletions
|
|
@ -901,6 +901,7 @@ in
|
|||
|| profile.settings != { }
|
||||
|| profile.extraConfig != ""
|
||||
|| profile.bookmarks.configFile != null
|
||||
|| profile.extensions.settings != { }
|
||||
)
|
||||
{
|
||||
text =
|
||||
|
|
|
|||
Loading…
Add table
Add a link
Reference in a new issue