equal
deleted
inserted
replaced
18 function platform_path() { echo "$@"; } |
18 function platform_path() { echo "$@"; } |
19 function standard_path() { echo "$@"; } |
19 function standard_path() { echo "$@"; } |
20 fi |
20 fi |
21 export -f platform_path standard_path |
21 export -f platform_path standard_path |
22 |
22 |
23 #GNU tar (notably on Mac OS X) |
23 #GNU tar (notably on macOS) |
24 if type -p gnutar >/dev/null |
24 if type -p gnutar >/dev/null |
25 then |
25 then |
26 function tar() { gnutar "$@"; } |
26 function tar() { gnutar "$@"; } |
27 export -f tar |
27 export -f tar |
28 elif type -p gtar >/dev/null |
28 elif type -p gtar >/dev/null |