def _install_tar_ball(env, url, tool):
install_dir = shared._get_bin_dir(env)
install_dir_parent = os.path.abspath(os.path.join(install_dir, os.pardir))
with _make_tmp_dir() as work_dir:
with cd(work_dir):
_remote_fetch(env, url + tool + ".tar.gz")
env.safe_sudo("tar -xzvpf %s.tar.gz -C %s" % (tool, install_dir_parent))
env.safe_sudo("chown -R %s:%s '%s'" % (env.user, env.user, install_dir))
env.safe_sudo("chgrp -R %s '%s'" % (env.user, install_dir))
def _download_install_deb_pkg(env, url, tool):
with _make_tmp_dir() as work_dir:
with cd(work_dir):
_remote_fetch(env, url)
env.safe_sudo("dpkg -i " + tool);