diff options
| -rwxr-xr-x | nx-X11/x-indent.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/nx-X11/x-indent.sh b/nx-X11/x-indent.sh index 327aa6a4f..4690372e6 100755 --- a/nx-X11/x-indent.sh +++ b/nx-X11/x-indent.sh @@ -2,7 +2,7 @@ # We want GNU indent, so first search for gindent to avoid /usr/bin/indent # on the BSDs, which won't work for us -INDENT=$(which gnuindent || which gindent || which indent) +INDENT=$(command -v gnuindent || command -v gindent || command -v indent) if [ -z "${INDENT}" ] ; then echo "Could not find indent, sorry..." >&2 |