From 529d1a7ce7c3d77d61736b4f553629ddc6d13a82 Mon Sep 17 00:00:00 2001 From: Oliver Davies Date: Wed, 14 Feb 2024 17:44:52 +0000 Subject: [PATCH] Replace watch-changes script with watchexec --- bin/watch-changes | 17 ----------------- system/shared/home-manager-packages.nix | 1 + 2 files changed, 1 insertion(+), 17 deletions(-) delete mode 100755 bin/watch-changes diff --git a/bin/watch-changes b/bin/watch-changes deleted file mode 100755 index 35f87b9..0000000 --- a/bin/watch-changes +++ /dev/null @@ -1,17 +0,0 @@ -#!/usr/bin/env bash - -if [[ "$1" == "" || "$2" == "" ]]; then - echo "usage: ${0##*/} "; - exit 2; -fi - -set -uo pipefail - -while true; do - inotifywait \ - --event modify \ - --event move_self \ - --exclude ".git|simpletest|vendor" \ - --recursive \ - $1 && $2 -done diff --git a/system/shared/home-manager-packages.nix b/system/shared/home-manager-packages.nix index afbc0b5..e1cb513 100644 --- a/system/shared/home-manager-packages.nix +++ b/system/shared/home-manager-packages.nix @@ -32,6 +32,7 @@ with pkgs; [ tree-sitter unzip virtualenv + watchexec wget xcp xh