Add entr to nix shell

nfrisby · nfrisby · commit b8805fd2f3db · 2025-06-17T09:35:02.000-07:00
diff --git a/nix/shell.nix b/nix/shell.nix
@@ -25,6 +25,7 @@ in
     pkgs.gnuplot
     pkgs.texliveFull
     pkgs.python3Packages.pygments
+    pkgs.entr
   ];
 
   # Agda environment variables.
