From 5d8b23c798a1421cad9e8a3c121ec8e271540082 Mon Sep 17 00:00:00 2001 From: 10sr <8slashes+git@gmail.com> Date: Thu, 31 May 2012 15:10:37 +0900 Subject: [PATCH] use curl for install_script if available --- bashrc | 11 +++++++++-- 1 file changed, 9 insertions(+), 2 deletions(-) diff --git a/bashrc b/bashrc index ba92f24..4a01951 100755 --- a/bashrc +++ b/bashrc @@ -388,8 +388,15 @@ _my_install_script(){ do bn=$(basename "$f") type $bn >/dev/null 2>&1 || { - wget "$f" -P "$HOME/bin/" && - chmod u+x "$HOME/bin/${bn}" + if type wget >/dev/null 2>&1 + then + wget "$f" -P "$HOME/bin/" && + chmod u+x "$HOME/bin/${bn}" + elif type curl >/dev/null 2>&1 + then + curl --url "$f" --output "$HOME/bin/${bn}" && + chmod u+x "$HOME/bin/${bn}" + fi } done }