feat(wordpress): Add user role editor plugin
All checks were successful
build configuration / build_storage01 (push) Successful in 46s
build configuration / build_compute01 (push) Successful in 1m10s
build configuration / build_web01 (push) Successful in 2m22s

This commit is contained in:
Tom Hubrecht 2024-01-09 09:11:11 +01:00
parent 5fa86473cc
commit 89597be3f4
3 changed files with 16 additions and 1 deletions

View file

@ -3,4 +3,8 @@
version = "0.8.1";
hash = "sha256-vOgAFIapqGTFLMeH7xVPnfRKtKT+E7ToUkcz5/a9f8g=";
};
user-role-editor = {
version = "4.64.1";
hash = "sha256-ZOpeY0SMeL6jT6PbGWnGlTADYUY9eUufymfRBqvCVac=";
};
}

View file

@ -17,6 +17,17 @@ in {
};
"bds.wp.dgnum.eu" = {
plugins = { inherit (addons.plugins) user-role-editor; };
languages = [ pkgs.wordpressPackages.languages.fr_FR ];
};
"bda.wp.dgnum.eu" = {
plugins = { inherit (addons.plugins) user-role-editor; };
languages = [ pkgs.wordpressPackages.languages.fr_FR ];
};
"cineclub.wp.dgnum.eu" = {
plugins = { inherit (addons.plugins) user-role-editor; };
languages = [ pkgs.wordpressPackages.languages.fr_FR ];
};
};

View file

@ -33,7 +33,7 @@ let
firewall.allowedTCPPorts = [ 443 ];
};
environment.systemPackages = [ pkgs.wp-cli ];
environment.systemPackages = [ pkgs.wp-cli pkgs.neovim ];
system.stateVersion = "23.11";
};