From 1519f60dd0d6b2352c692f1edeedc29c533b752e Mon Sep 17 00:00:00 2001
From: Benedikt Peetz <benedikt.peetz@b-peetz.de>
Date: Sun, 1 Dec 2024 12:42:55 +0100
Subject: chore(build): Re-generate

---
 build/c/shell_line_editor.sh | 6 +++++-
 1 file changed, 5 insertions(+), 1 deletion(-)

(limited to 'build/c/shell_line_editor.sh')

diff --git a/build/c/shell_line_editor.sh b/build/c/shell_line_editor.sh
index 8d6833a..a142706 100644
--- a/build/c/shell_line_editor.sh
+++ b/build/c/shell_line_editor.sh
@@ -1,6 +1,8 @@
-#! /usr/bin/env sh
+#! /usr/bin/env false
 # Taken in verbatim from: https://unix.stackexchange.com/a/113450, and somewhat changed
 
+# shellcheck shell=dash
+
 LE_print_debug() {
     LE_debug="$1"
     LE_debug_msg="$2"
@@ -245,3 +247,5 @@ LE() {
     echo
     return "$LE_ret"
 }
+
+# vim: ft=sh
-- 
cgit 1.4.1