changeset 14261:d19e3954c315 gui

Improved clone script for qterminal. *(get-qterminal.sh): Now pulling instead of cloning when directory exists.
author Jacob Dawid <jacob.dawid@googlemail.com>
date Tue, 24 Jan 2012 19:57:32 +0100
parents 4e6c717869f8
children 605675153f1d
files gui/get-qterminal.sh
diffstat 1 files changed, 22 insertions(+), 6 deletions(-) [+]
line wrap: on
line diff
--- a/gui/get-qterminal.sh	Tue Jan 24 18:48:32 2012 +0100
+++ b/gui/get-qterminal.sh	Tue Jan 24 19:57:32 2012 +0100
@@ -1,6 +1,22 @@
-git clone https://code.google.com/p/qterminal/
-git checkout master
-cd qterminal
-qmake-qt4 qterminal.pro
-make
-cd ..
+#!/bin/bash
+
+qterminal_dir="qterminal";
+echo "Updating qterminal..";
+
+# Check whether we have already cloned the repository:
+if [ -d $qterminal_dir ]; then
+	# Yes, so just pull any changes and rebuild.
+	cd qterminal
+	git pull
+	qmake-qt4
+	cd ..
+else
+	# No, clone the repository, checkout the stable branch
+	# and build it.
+	git clone https://code.google.com/p/qterminal/
+	git checkout master
+	cd qterminal
+	qmake-qt4 qterminal.pro
+	make
+	cd ..
+fi