From fc99cbe85fedc2e4236d99dc514763d518de822f Mon Sep 17 00:00:00 2001 From: Joe J Collins Date: Thu, 23 May 2024 18:44:18 +0000 Subject: [PATCH] Rename Makefile --- makefile => Makefile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) rename makefile => Makefile (97%) diff --git a/makefile b/Makefile similarity index 97% rename from makefile rename to Makefile index 3615e78..e1bd007 100644 --- a/makefile +++ b/Makefile @@ -42,7 +42,7 @@ fastapi: # Run the FastAPI server. .PHONY: help help: # Show help for each of the makefile recipes. - @grep -E '^[a-zA-Z0-9 -]+:.*#' makefile | sort | while read -r l; do printf "\033[1;32m$$(echo $$l | cut -f 1 -d':')\033[00m:$$(echo $$l | cut -f 2- -d'#')\n"; done + @grep -E '^[a-zA-Z0-9 -]+:.*#' Makefile | sort | while read -r l; do printf "\033[1;32m$$(echo $$l | cut -f 1 -d':')\033[00m:$$(echo $$l | cut -f 2- -d'#')\n"; done kill: # Kill the servers on ports 8090 to 8093 if they are still running. lsof -i tcp:8090-8093 | awk 'NR!=1 {print $$2}' | xargs kill 2>/dev/null || true