From ac364e6e04b476108b1a32ef1c8b9ea8c6ec4574 Mon Sep 17 00:00:00 2001
From: Doug Coleman <doug.coleman@gmail.com>
Date: Tue, 4 Dec 2007 13:44:46 -0600
Subject: [PATCH] Add quick-update to misc/factor.sh

---
 misc/factor.sh | 12 ++++++++++--
 1 file changed, 10 insertions(+), 2 deletions(-)

diff --git a/misc/factor.sh b/misc/factor.sh
index dfea2415f3..def1126360 100755
--- a/misc/factor.sh
+++ b/misc/factor.sh
@@ -221,7 +221,7 @@ bootstrap() {
 }
 
 usage() {
-	echo "usage: $0 install|install-x11|update"
+	echo "usage: $0 install|install-x11|update|quick-update"
 }
 
 install() {
@@ -244,11 +244,18 @@ update() {
 	git_pull_factorcode
 	make_clean
 	make_factor
+}
+
+update_bootstrap() {
 	delete_boot_images
 	get_boot_image
 	bootstrap
 }
 
+refresh_image() {
+	./factor-nt -e="refresh-all save 0 USE: system exit"
+}
+
 install_libraries() {
 	sudo apt-get install libc6-dev libfreetype6-dev wget git-core git-doc libx11-dev glutg3-dev rlwrap
 }
@@ -256,6 +263,7 @@ install_libraries() {
 case "$1" in
 	install) install ;;
 	install-x11) install_libraries; install ;;
-	update) update ;;
+	quick-update) update; refresh_image;;
+	update) update; update_bootstrap ;;
 	*) usage ;;
 esac