From def2b2ed3ec0a069847076989c0d31acb7131c2b Mon Sep 17 00:00:00 2001 From: caandt Date: Sun, 22 Sep 2024 17:43:10 -0500 Subject: [PATCH] monitor changes for dev sever --- Makefile | 1 + shell.nix | 1 + 2 files changed, 2 insertions(+) diff --git a/Makefile b/Makefile index ec15231..cb5bbee 100644 --- a/Makefile +++ b/Makefile @@ -27,6 +27,7 @@ server: all @trap 'kill 0' SIGINT; \ flask run & \ nginx -c $$(pwd)/nginx.conf -e stderr & \ + (inotifywait -qmre modify ctf pages | while IFS=$$'\n' read line; do echo "$$line"; make; done) & \ wait clean: diff --git a/shell.nix b/shell.nix index 90bb420..768cd44 100644 --- a/shell.nix +++ b/shell.nix @@ -26,5 +26,6 @@ pkgs.mkShell { gnumake python311 nginx + inotify-tools ]; }