Add quick-update to misc/factor.sh

release
Doug Coleman 2007-12-04 13:44:46 -06:00
parent c078621369
commit ac364e6e04
1 changed files with 10 additions and 2 deletions

View File

@ -221,7 +221,7 @@ bootstrap() {
} }
usage() { usage() {
echo "usage: $0 install|install-x11|update" echo "usage: $0 install|install-x11|update|quick-update"
} }
install() { install() {
@ -244,11 +244,18 @@ update() {
git_pull_factorcode git_pull_factorcode
make_clean make_clean
make_factor make_factor
}
update_bootstrap() {
delete_boot_images delete_boot_images
get_boot_image get_boot_image
bootstrap bootstrap
} }
refresh_image() {
./factor-nt -e="refresh-all save 0 USE: system exit"
}
install_libraries() { install_libraries() {
sudo apt-get install libc6-dev libfreetype6-dev wget git-core git-doc libx11-dev glutg3-dev rlwrap 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 case "$1" in
install) install ;; install) install ;;
install-x11) install_libraries; install ;; install-x11) install_libraries; install ;;
update) update ;; quick-update) update; refresh_image;;
update) update; update_bootstrap ;;
*) usage ;; *) usage ;;
esac esac