From 535846c7ee6bc4dd027ca0d93220601456734b10 Mon Sep 17 00:00:00 2001 From: Remi Collet Date: Fri, 22 Jul 2022 08:02:27 +0200 Subject: [PATCH] [Console] get full command path for command in search path --- Resources/completion.bash | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/Resources/completion.bash b/Resources/completion.bash index c5e89c3c2..fba46070c 100644 --- a/Resources/completion.bash +++ b/Resources/completion.bash @@ -13,9 +13,11 @@ _sf_{{ COMMAND_NAME }}() { # for an alias, get the real script behind it if [[ $(type -t $sf_cmd) == "alias" ]]; then sf_cmd=$(alias $sf_cmd | sed -E "s/alias $sf_cmd='(.*)'/\1/") + else + sf_cmd=$(type -p $sf_cmd) fi - if [ ! -f "$sf_cmd" ]; then + if [ ! -x "$sf_cmd" ]; then return 1 fi