aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorMartin Fischer <martin@push-f.com>2025-12-07 12:05:25 +0100
committerMartin Fischer <martin@push-f.com>2025-12-07 13:26:03 +0100
commit705a16aa3c345f9b4e1c0fdd032f498e906a8f01 (patch)
tree5aa32ca88c40a70daa6c206cf627e77fe41f19bd
parent756f21e959e48c53a7685fa1431e68b0c78b7231 (diff)
tweak(workstation): tune Firefox preferences
-rwxr-xr-xlink-user7
-rw-r--r--nixos/profiles/workstation/graphical.nix4
-rw-r--r--user/mozilla/firefox/userChrome.css7
3 files changed, 18 insertions, 0 deletions
diff --git a/link-user b/link-user
index 6684160..752e38c 100755
--- a/link-user
+++ b/link-user
@@ -24,3 +24,10 @@ for file in $(find . -type f); do
fi
ln -s "$PWD/$file" "$homefile"
done
+
+if [[ -f ~/.mozilla/firefox/profiles.ini ]]; then
+ for dir in ~/.mozilla/firefox/*.*/; do
+ mkdir -p "$dir"/chrome
+ ln -sf ~/.config/mozilla/firefox/userChrome.css "$dir/chrome"
+ done
+fi
diff --git a/nixos/profiles/workstation/graphical.nix b/nixos/profiles/workstation/graphical.nix
index b09108c..a9202ad 100644
--- a/nixos/profiles/workstation/graphical.nix
+++ b/nixos/profiles/workstation/graphical.nix
@@ -87,10 +87,14 @@
# about:config preferences
# We're setting them via extraPrefs because policies.Preferences doesn't support all about:config preferences.
"browser.aboutConfig.showWarning" = false;
+ "browser.ml.chat.menu" = false;
"browser.tabs.insertAfterCurrent" = true;
+ "browser.translations.automaticallyPopup" = false;
"browser.uidensity" = 1;
"extensions.activeThemeID" = "firefox-compact-dark@mozilla.org"; # can be changed via UI despite this about:config setting being locked
+ "identity.fxaccounts.enabled" = false;
"layout.css.devPixelsPerPx" = "1.2"; # with this the default Firefox font size matches my terminal font size of 14px
+ "toolkit.legacyUserProfileCustomizations.stylesheets" = true;
};
in
(pkgs.wrapFirefox pkgs.firefox-unwrapped {
diff --git a/user/mozilla/firefox/userChrome.css b/user/mozilla/firefox/userChrome.css
new file mode 100644
index 0000000..624b7d7
--- /dev/null
+++ b/user/mozilla/firefox/userChrome.css
@@ -0,0 +1,7 @@
+/* I don't need the window close button and it looks distracting. */
+.titlebar-buttonbox-container {
+ display: none;
+}
+.titlebar-spacer {
+ display: none;
+}