Skip to content
Merged
Show file tree
Hide file tree
Changes from all commits
Commits
File filter

Filter by extension

Filter by extension

Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
42 changes: 21 additions & 21 deletions flake.lock

Some generated files are not rendered by default. Learn more about how customized files appear on GitHub.

2 changes: 1 addition & 1 deletion modules/home/core/programs/misc.nix
Original file line number Diff line number Diff line change
Expand Up @@ -12,7 +12,7 @@
home = {
packages = with pkgs; [
# Rust implementations of linux commands
du-dust # du
dust # du
dua # du
dysk # df
procs # ps
Expand Down
81 changes: 44 additions & 37 deletions modules/home/desktop/firefox.nix
Original file line number Diff line number Diff line change
@@ -1,45 +1,52 @@
{
flake.modules.homeManager.firefox = {
programs.firefox = {
enable = true;
flake.modules.homeManager.firefox =
{ pkgs, ... }:
{
programs.firefox = {
enable = true;

profiles =
let
settings = {
# Needed to hide the tab bar
"toolkit.legacyUserProfileCustomizations.stylesheets" = true;
# TODO Firefox fails as the closure contains a reference to stdenv.cc
# Relax this assertion until the underlying issue is fixed
# https://github.com/NixOS/nixpkgs/pull/457424
package = pkgs.firefox.overrideAttrs { disallowedRequisites = [ ]; };

# Prevent tabbing on the "3 dot menu" on Firefox Suggest drop down items
# https://connect.mozilla.org/t5/discussions/how-to-remove-the-3-dot-menu-on-firefox-suggest-drop-down-items/td-p/28339
"browser.urlbar.resultMenu.keyboardAccessible" = false;
};
profiles =
let
settings = {
# Needed to hide the tab bar
"toolkit.legacyUserProfileCustomizations.stylesheets" = true;

# Hide the tab bar
userChrome = ''
#TabsToolbar { visibility: collapse !important; }
'';
in
{
gaetan = {
id = 0;
isDefault = true;
path = "gaetan";
inherit
settings
userChrome
;
};
# Prevent tabbing on the "3 dot menu" on Firefox Suggest drop down items
# https://connect.mozilla.org/t5/discussions/how-to-remove-the-3-dot-menu-on-firefox-suggest-drop-down-items/td-p/28339
"browser.urlbar.resultMenu.keyboardAccessible" = false;
};

# Hide the tab bar
userChrome = ''
#TabsToolbar { visibility: collapse !important; }
'';
in
{
gaetan = {
id = 0;
isDefault = true;
path = "gaetan";
inherit
settings
userChrome
;
};

lcf = {
id = 1;
isDefault = false;
path = "lcf";
inherit
settings
userChrome
;
lcf = {
id = 1;
isDefault = false;
path = "lcf";
inherit
settings
userChrome
;
};
};
};
};
};
};
}