fix formatting
This commit is contained in:
parent
eed46ec277
commit
d6cc2fbe7a
2 changed files with 6 additions and 9 deletions
|
@ -1,7 +1,4 @@
|
|||
{
|
||||
pkgs,
|
||||
...
|
||||
}: {
|
||||
{pkgs, ...}: {
|
||||
imports = [
|
||||
./bash.nix
|
||||
./cargo.nix
|
||||
|
|
|
@ -2,13 +2,13 @@
|
|||
home-manager.users.buffet = {
|
||||
home.packages = [
|
||||
(pkgs.writeScriptBin "git-entr" ''
|
||||
#!/bin/sh
|
||||
#!/bin/sh
|
||||
|
||||
echo "looping entr. press ctrl-c twice to exit"
|
||||
echo "looping entr. press ctrl-c twice to exit"
|
||||
|
||||
while sleep 1; do
|
||||
git ls-files -cdmo --exclude-standard | entr -d "$@"
|
||||
done
|
||||
while sleep 1; do
|
||||
git ls-files -cdmo --exclude-standard | entr -d "$@"
|
||||
done
|
||||
'')
|
||||
];
|
||||
};
|
||||
|
|
Loading…
Reference in a new issue