From 1b25908d1dc6832c3cced1aba29b6ff932b6a0bd Mon Sep 17 00:00:00 2001
From: Yiheng He <yiheng.he@proton.me>
Date: Thu, 3 Jul 2025 00:14:27 +0800
Subject: [PATCH] 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.
---
 modules/programs/firefox/mkFirefoxModule.nix | 1 +
 1 file changed, 1 insertion(+)

diff --git a/modules/programs/firefox/mkFirefoxModule.nix b/modules/programs/firefox/mkFirefoxModule.nix
index 6c17adaf3..8007a9a49 100644
--- a/modules/programs/firefox/mkFirefoxModule.nix
+++ b/modules/programs/firefox/mkFirefoxModule.nix
@@ -901,6 +901,7 @@ in
                       || profile.settings != { }
                       || profile.extraConfig != ""
                       || profile.bookmarks.configFile != null
+                      || profile.extensions.settings != { }
                     )
                     {
                       text =