git-entr #72

Merged
chef merged 2 commits from git-entr into main 2024-08-10 15:56:55 +00:00
Showing only changes of commit d484e94c44 - Show all commits

15
users/buffet/git-entr.nix Normal file
View file

@ -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
'')
];
};
}