From d4bbdde8c08ecac217fd6fcaf95fe9213e14c0b3 Mon Sep 17 00:00:00 2001
From: Florian Schmaus <flo@geekplace.eu>
Date: Fri, 29 Sep 2023 12:08:46 +0200
Subject: [PATCH] millw: ignore MILL_IN_PATH if it starts with "#!"

Fixes #55.
---
 millw | 7 +++++++
 1 file changed, 7 insertions(+)

diff --git a/millw b/millw
index 5cbab37..beac399 100755
--- a/millw
+++ b/millw
@@ -114,6 +114,13 @@ try_to_use_system_mill() {
     return 0
   fi
 
+  SYSTEM_MILL_FIRST_TWO_BYTES=$(head --bytes=2 "${MILL_IN_PATH}")
+  if [ "${SYSTEM_MILL_FIRST_TWO_BYTES}" = "#!" ]; then
+	  # MILL_IN_PATH is (very likely) a shell script and not the mill
+	  # executable, ignore it.
+	  return 0
+  fi
+
   SYSTEM_MILL_PATH=$(readlink -e "${MILL_IN_PATH}")
   SYSTEM_MILL_SIZE=$(stat --format=%s "${SYSTEM_MILL_PATH}")
   SYSTEM_MILL_MTIME=$(stat --format=%y "${SYSTEM_MILL_PATH}")