diff options
Diffstat (limited to 'build/shell/shell_line_editor.sh')
| -rw-r--r-- | build/shell/shell_line_editor.sh | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/build/shell/shell_line_editor.sh b/build/shell/shell_line_editor.sh index 8d6833a..a142706 100644 --- a/build/shell/shell_line_editor.sh +++ b/build/shell/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 |