equal
deleted
inserted
replaced
7 ## find binaries |
7 ## find binaries |
8 |
8 |
9 function findbin() |
9 function findbin() |
10 { |
10 { |
11 local DEFAULT="$1" |
11 local DEFAULT="$1" |
12 local BASE="" |
12 local BASE=$(basename "$DEFAULT") |
13 local BINARY="" |
13 local BINARY="" |
14 |
14 |
15 if [ -f "$DEFAULT" ]; then # preferred location |
15 BINARY=$(type -path "$BASE") |
|
16 |
|
17 if [ -n "$BINARY" ]; then |
|
18 echo "using $BINARY" >&2 |
|
19 echo "$BINARY" |
|
20 return |
|
21 elif [ -f "$DEFAULT" ]; then |
16 echo "using $DEFAULT" >&2 |
22 echo "using $DEFAULT" >&2 |
17 echo "$DEFAULT" |
23 echo "$DEFAULT" |
18 return |
24 return |
19 else # find in PATH |
25 else |
20 BASE=$(basename "$DEFAULT") |
26 echo "WARNING: $BASE not found!" >&2 |
21 BINARY=$(type -path "$BASE") |
27 echo "$DEFAULT" |
22 if [ -n "$BINARY" ]; then |
28 return |
23 echo "using $BINARY" >&2 |
|
24 echo "$BINARY" |
|
25 return |
|
26 else |
|
27 echo "WARNING: $BASE not found!" >&2 |
|
28 echo "$DEFAULT" |
|
29 return |
|
30 fi |
|
31 fi |
29 fi |
32 } |
30 } |
33 |
31 |
34 |
32 |
35 ## main |
33 ## main |