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 ]; }