equal
deleted
inserted
replaced
11 local DEFAULT="$1" |
11 local DEFAULT="$1" |
12 local BASE="" |
12 local BASE="" |
13 local BINARY="" |
13 local BINARY="" |
14 |
14 |
15 if [ -f "$DEFAULT" ]; then # preferred location |
15 if [ -f "$DEFAULT" ]; then # preferred location |
16 echo "found $DEFAULT" >&2 |
16 echo "using $DEFAULT" >&2 |
17 echo "$DEFAULT" |
17 echo "$DEFAULT" |
18 return |
18 return |
19 else # find in PATH |
19 else # find in PATH |
20 BASE=$(basename "$DEFAULT") |
20 BASE=$(basename "$DEFAULT") |
21 BINARY=$(type -path "$BASE") |
21 BINARY=$(type -path "$BASE") |
22 if [ -n "$BINARY" ]; then |
22 if [ -n "$BINARY" ]; then |
23 echo "found $BINARY" >&2 |
23 echo "using $BINARY" >&2 |
24 echo "$BINARY" |
24 echo "$BINARY" |
25 return |
25 return |
26 else |
26 else |
27 echo "WARNING: $BASE not found!" >&2 |
27 echo "WARNING: $BASE not found!" >&2 |
28 echo "$DEFAULT" |
28 echo "$DEFAULT" |