1
0
Fork 0
mirror of https://github.com/nix-community/home-manager synced 2024-12-23 18:29:47 +01:00

firefox: create user.js when only bookmarks are specified in config (issue #2492) (#2521)

Previously, home-manager would not create a user.js for a certain
profile if profile.bookmarks was not empty but
profile.settings was empty and profile.extraConfig was an
empty string.
This commit is contained in:
Benjamin Orthen 2021-12-02 04:21:41 +01:00 committed by GitHub
parent f23073f1da
commit de54d513c7
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -370,8 +370,8 @@ in {
"${profilesPath}/${profile.path}/chrome/userContent.css" =
mkIf (profile.userContent != "") { text = profile.userContent; };
"${profilesPath}/${profile.path}/user.js" =
mkIf (profile.settings != { } || profile.extraConfig != "") {
"${profilesPath}/${profile.path}/user.js" = mkIf (profile.settings != { }
|| profile.extraConfig != "" || profile.bookmarks != { }) {
text =
mkUserJs profile.settings profile.extraConfig profile.bookmarks;
};