From 57a72a4be699065fbdedcb81296033514603492a Mon Sep 17 00:00:00 2001
From: Fionn Fitzmaurice <fionn@github.com>
Date: Fri, 26 Jul 2024 15:00:00 +0800
Subject: [PATCH] Fix pipe bug

---
 git-no-newlines | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/git-no-newlines b/git-no-newlines
index a7c1f8b..7973cf7 100755
--- a/git-no-newlines
+++ b/git-no-newlines
@@ -17,7 +17,7 @@ function log_file {
     file="$1"
     echo "$file: no newline at end of file" >&2
     if [[ "$GITHUB_ACTIONS" == "true" ]]; then
-        last_line=$(wc -l <<< "$file" | tr -d " ")
+        last_line=$(wc -l < "$file" | tr -d " ")
         echo "::error file=$file,line=$last_line,col=0::No newline at end of file."
     fi
 }