From 7d3e63883323605820fb6254780bbd1a2d6d51d5 Mon Sep 17 00:00:00 2001 From: Christian Harke Date: Wed, 30 Nov 2022 18:20:07 +0100 Subject: [PATCH] Add xml tooling (xmllint) to dev role --- home/roles/dev/default.nix | 1 + 1 file changed, 1 insertion(+) diff --git a/home/roles/dev/default.nix b/home/roles/dev/default.nix index c18c9e5a..276d3fac 100644 --- a/home/roles/dev/default.nix +++ b/home/roles/dev/default.nix @@ -28,6 +28,7 @@ in home.packages = with pkgs; [ ascii + libxml2 wrk ]; };