|
@@ -1,7 +1,7 @@ |
|
|
#!/bin/bash |
|
|
#!/bin/bash |
|
|
|
|
|
|
|
|
# function not available on some systems |
|
|
# function not available on some systems |
|
|
if ! which realpath 2>/dev/null; then |
|
|
|
|
|
|
|
|
if ! which realpath >/dev/null 2>&1; then |
|
|
function realpath() { |
|
|
function realpath() { |
|
|
[[ $1 = /* ]] && echo "$1" || echo "$PWD/${1#./}" |
|
|
[[ $1 = /* ]] && echo "$1" || echo "$PWD/${1#./}" |
|
|
} |
|
|
} |
|
|