From 7ff02f973a5ed4e00ae2be28062878f7db11bfca Mon Sep 17 00:00:00 2001
From: Benedikt Peetz <benedikt.peetz@b-peetz.de>
Date: Sun, 1 Dec 2024 12:40:04 +0100
Subject: fix(common/shell_line_editor.sh): Mark as non-executable

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

(limited to 'common')

diff --git a/common/shell_line_editor.sh b/common/shell_line_editor.sh
index 8d6833a..a142706 100644
--- a/common/shell_line_editor.sh
+++ b/common/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