From 60849aed12375fdbc16f19fc9929179d2811ed97 Mon Sep 17 00:00:00 2001 From: zwim <36999612+zwim@users.noreply.github.com> Date: Wed, 19 Apr 2023 21:08:06 +0200 Subject: [PATCH] kodev: don't check shfm, same as in #8636 (#10344) --- kodev | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/kodev b/kodev index 12053e61b..185bac242 100755 --- a/kodev +++ b/kodev @@ -994,7 +994,7 @@ function kodev-check() { check_submodules # shellcheck disable=2016 - mapfile -t shellscript_locations < <({ git -c submodule.recurse=0 grep -lE '^#!(/usr)?/bin/(env )?(bash|sh)' && git submodule --quiet foreach '[ "$path" = "base" -o "$path" = "platform/android/luajit-launcher" ] || git grep -lE "^#!(/usr)?/bin/(env )?(bash|sh)" | sed "s|^|$path/|"' && git ls-files ./*.sh; } | sort | uniq) + mapfile -t shellscript_locations < <({ git grep -lE '^#!(/usr)?/bin/(env )?(bash|sh)' | sed "/^plugins\/terminal.koplugin\/shfm$/d" && git submodule --quiet foreach '[ "$path" = "base" -o "$path" = "platform/android/luajit-launcher" ] || git grep -lE "^#!(/usr)?/bin/(env )?(bash|sh)" | sed "s|^|$path/|"' && git ls-files ./*.sh; } | sort | uniq) SHFMT_OPTIONS="-i 4 -ci"