From 867d0740e2fe1428e2e6279defce06735aa5af93 Mon Sep 17 00:00:00 2001 From: Michael Thomas Date: Mon, 6 Mar 2023 15:39:11 -0500 Subject: [PATCH] update firefox config to automatically apply gnome theme --- machines/kitchen/configuration.nix | 2 -- user/environments/nixos/home.nix | 7 +------ user/modules/firefox.nix | 30 ++++++++++++++++++++++++++++++ 3 files changed, 31 insertions(+), 8 deletions(-) create mode 100644 user/modules/firefox.nix diff --git a/machines/kitchen/configuration.nix b/machines/kitchen/configuration.nix index fd1c06e..06f83d7 100644 --- a/machines/kitchen/configuration.nix +++ b/machines/kitchen/configuration.nix @@ -26,8 +26,6 @@ environment.systemPackages = with pkgs; [ wget micro - firefox - chromium gnome.gnome-tweaks ]; diff --git a/user/environments/nixos/home.nix b/user/environments/nixos/home.nix index 8d7204c..a06d49f 100644 --- a/user/environments/nixos/home.nix +++ b/user/environments/nixos/home.nix @@ -1,8 +1,8 @@ { config, pkgs, ... }: - { imports = [ ../../modules/dev.nix + ../../modules/firefox.nix ../../modules/fonts.nix ../../modules/git.nix ../../modules/git_nixos.nix @@ -10,11 +10,6 @@ ../../modules/vscode.nix ../../modules/zsh.nix ]; - - home.packages = with pkgs; [ - firefox - # foxitreader - ]; home.stateVersion = "21.05"; } diff --git a/user/modules/firefox.nix b/user/modules/firefox.nix new file mode 100644 index 0000000..543a599 --- /dev/null +++ b/user/modules/firefox.nix @@ -0,0 +1,30 @@ +{ pkgs, ... }: +{ + # Add Firefox GNOME theme directory + home.file."firefox-gnome-theme" = { + target = ".mozilla/firefox/default/chrome/firefox-gnome-theme"; + source = pkgs.fetchFromGitHub { + owner = "rafaelmardojai"; + repo = "firefox-gnome-theme"; + rev = "v110"; + hash = "sha256-2KKntUo0uYCXZrnaB5Q7bf97+tUL3UiuyDtTlyjbXFo="; + }; + }; + + programs.firefox = { + enable = true; + profiles.default = { + name = "Default"; + settings = { + # For Firefox GNOME theme: + "toolkit.legacyUserProfileCustomizations.stylesheets" = true; + "browser.tabs.drawInTitlebar" = true; + "svg.context-properties.content.enabled" = true; + }; + userChrome = '' + @import "firefox-gnome-theme/userChrome.css"; + @import "firefox-gnome-theme/theme/colors/dark.css"; + ''; + }; + }; +}