From d484e94c44c5e9132b646424d06638118498d7cd Mon Sep 17 00:00:00 2001 From: buffet Date: Sat, 10 Aug 2024 17:23:47 +0200 Subject: [PATCH] feat: install git-entr script The script lists all files in the git repository that are not ignored, and runs a given command on change using entr. --- users/buffet/git-entr.nix | 15 +++++++++++++++ 1 file changed, 15 insertions(+) create mode 100644 users/buffet/git-entr.nix diff --git a/users/buffet/git-entr.nix b/users/buffet/git-entr.nix new file mode 100644 index 0000000..d0dd76b --- /dev/null +++ b/users/buffet/git-entr.nix @@ -0,0 +1,15 @@ +{pkgs, ...}: { + home-manager.users.buffet = { + home.packages = [ + (pkgs.writeScriptBin "git-entr" '' + #!/bin/sh + + echo "looping entr. press ctrl-c twice to exit" + + while sleep 1; do + git ls-files -cdmo --exclude-standard | entr -d "$@" + done + '') + ]; + }; +}