add http-update to work around firewalls

db4
Doug Coleman 2008-02-06 19:49:07 -06:00
parent b6f8fd587a
commit 99411495c2
1 changed files with 15 additions and 0 deletions

View File

@ -200,6 +200,12 @@ git_pull_factorcode() {
check_ret git check_ret git
} }
http_git_pull_factorcode() {
echo "Updating the git repository from factorcode.org..."
git pull http://factorcode.org/git/factor.git master
check_ret git
}
cd_factor() { cd_factor() {
cd factor cd factor
check_ret cd check_ret cd
@ -271,6 +277,7 @@ install() {
bootstrap bootstrap
} }
update() { update() {
get_config_info get_config_info
git_pull_factorcode git_pull_factorcode
@ -278,6 +285,13 @@ update() {
make_factor make_factor
} }
http_update() {
get_config_info
http_git_pull_factorcode
make_clean
make_factor
}
update_bootstrap() { update_bootstrap() {
delete_boot_images delete_boot_images
get_boot_image get_boot_image
@ -310,6 +324,7 @@ case "$1" in
self-update) update; make_boot_image; bootstrap;; self-update) update; make_boot_image; bootstrap;;
quick-update) update; refresh_image ;; quick-update) update; refresh_image ;;
update) update; update_bootstrap ;; update) update; update_bootstrap ;;
http-update) http_update; update_bootstrap ;;
bootstrap) get_config_info; bootstrap ;; bootstrap) get_config_info; bootstrap ;;
wget-bootstrap) get_config_info; delete_boot_images; get_boot_image; bootstrap ;; wget-bootstrap) get_config_info; delete_boot_images; get_boot_image; bootstrap ;;
*) usage ;; *) usage ;;