update firefox

This commit is contained in:
Anish Lakhwara 2023-02-24 23:36:51 +10:00
parent d7034ab6f1
commit 135f4e60af

View file

@ -13,36 +13,36 @@
#env.XDG_DEXSTOP_DIR = "$HOME/"; #env.XDG_DEXSTOP_DIR = "$HOME/";
programs.firefox = { programs.firefox = {
enable = true; enable = true;
extensions = with pkgs.nur.repos.rycee.firefox-addons; [
# Find extensions: https://github.com/nix-community/nur-combined/blob/master/repos/rycee/pkgs/firefox-addons/generated-firefox-addons.nix
ublock-origin
wallabagger
# tree-style-tab
tridactyl
promnesia
sidebery
(buildFirefoxXpiAddon {
pname = "shaarli";
version = "2.0.0";
addonId = "shaarli@imirhil.fr";
url = "https://addons.mozilla.org/firefox/downloads/file/815126/shaarli-2.0.0.xpi";
sha256 = "W/OpvOfMclibP6LeG573/DlMs0p8fF0efyd+i8Sudgg=";
meta = { };
})
(buildFirefoxXpiAddon {
pname = "grasp";
version = "0.6.6";
addonId = "{37e42980-a7c9-473c-96d5-13f18e0efc74}";
url = "https://addons.mozilla.org/firefox/downloads/file/3502186/grasp-0.6.6.xpi";
sha256 = "L4JhT29MeA34nHIlB8FtCU7hrpbWljZZBusx12uxblE=";
meta = { };
})
];
profiles.anish = { profiles.anish = {
id = 0; id = 0;
isDefault = true; isDefault = true;
name = "anish"; name = "anish";
userChrome = (builtins.readFile ./userChrome.css); userChrome = (builtins.readFile ./userChrome.css);
extensions = with pkgs.nur.repos.rycee.firefox-addons; [
# Find extensions: https://github.com/nix-community/nur-combined/blob/master/repos/rycee/pkgs/firefox-addons/generated-firefox-addons.nix
ublock-origin
wallabagger
# tree-style-tab
tridactyl
promnesia
sidebery
(buildFirefoxXpiAddon {
pname = "shaarli";
version = "2.0.0";
addonId = "shaarli@imirhil.fr";
url = "https://addons.mozilla.org/firefox/downloads/file/815126/shaarli-2.0.0.xpi";
sha256 = "W/OpvOfMclibP6LeG573/DlMs0p8fF0efyd+i8Sudgg=";
meta = { };
})
(buildFirefoxXpiAddon {
pname = "grasp";
version = "0.6.6";
addonId = "{37e42980-a7c9-473c-96d5-13f18e0efc74}";
url = "https://addons.mozilla.org/firefox/downloads/file/3502186/grasp-0.6.6.xpi";
sha256 = "L4JhT29MeA34nHIlB8FtCU7hrpbWljZZBusx12uxblE=";
meta = { };
})
];
settings = { settings = {
"devtools.theme" = "dark"; "devtools.theme" = "dark";
# Enable userContent.css and userChrome.css for our theme modules # Enable userContent.css and userChrome.css for our theme modules