diff options
| -rw-r--r-- | common/shell_line_editor.sh | 6 |
1 files changed, 5 insertions, 1 deletions
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 |