2017-11-07 00:00:25 +00:00
|
|
|
# Not every platform has or needs sudo, gotta save them O(1)s...
|
|
|
|
sudo_cmd=""
|
2017-11-07 01:30:41 +00:00
|
|
|
set +e
|
2017-11-07 01:26:33 +00:00
|
|
|
if type -p sudo >/dev/null 2>/dev/null; then
|
2017-11-07 01:01:40 +00:00
|
|
|
((EUID)) && [[ -z "${ANDROID_ROOT-}" ]] && sudo_cmd="sudo"
|
2017-11-07 00:00:25 +00:00
|
|
|
fi
|
2017-11-07 01:30:41 +00:00
|
|
|
set -e
|