# Not every platform has or needs sudo, gotta save them O(1)s...
sudo_cmd=""
if [ -n "$(type -p sudo)" ]; then
  ((EUID)) && [[ -z "$ANDROID_ROOT" ]] && sudo_cmd="sudo"
fi