[PPL-devel] [GIT] ppl/w3ppl(master): Converted to git.

[Abramo Bagnara]

Module: ppl/w3ppl
Branch: master
Commit: d48b7ca6ddd4ce0578cc53b3b0a8a6a80b1343ed
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/w3ppl.git;a=commit;h=d48b7ca6ddd4ce0578cc53b3b0a8a6a80b1343ed

Author: Abramo Bagnara <abramo.bagnara at gmail.com>
Date:   Tue Apr  7 19:07:15 2009 +0200

Converted to git.

---

 bin/update_web_site |   27 ++++++++++++++++++---------
 1 files changed, 18 insertions(+), 9 deletions(-)

diff --git a/bin/update_web_site b/bin/update_web_site
index efbe1a2..8ac559f 100755
--- a/bin/update_web_site
+++ b/bin/update_web_site
@@ -6,15 +6,14 @@
 
 BRANCH=ppl-0_10-branch
 
-export CVS_RSH=ssh
 export PATH=/usr/local/bin:$PATH
 
 # Where the repository is on cvs.cs.unipr.it.
-local_repository=/cvs/ppl
+local_repository=/git/ppl
 
 # Where the repository is for remote developers.
 #remote_repository=$USER at cvs.cs.unipr.it:$local_repository
-remote_repository=bagnara at cvs.cs.unipr.it:$local_repository
+remote_repository=ssh://bagnara@git.cs.unipr.it$local_repository
 
 # The local machine.
 machine=`uname -n`
@@ -49,17 +48,28 @@ notification=$top_dir/notification
 # Lock file name.
 lock=.LOCK
 
+fetch_branch() {
+    repo=$1
+    module=$2
+    branch=$3
+    mkdir $module &&
+    (cd $module &&
+	git init &&
+	git remote add origin $repo/$module.git -t $branch -m $branch &&
+	git fetch --depth=1 &&
+	git checkout --track -b $branch origin/$branch)
+}
+
 obtain_sources() {
     case "$machine" in
     spartacus.cs.unipr.it)
-	cvs -d $local_repository export -D today w3ppl
+	fetch_branch $local_repository w3ppl master
 	if [ $? -ne 0 ]
 	then
 	    echo "Cannot copy the PPL web pages." >>$notification
 	    maybe_notify_developers_and_exit
 	fi
-	cvs -z 9 -d $local_repository export -r $BRANCH ppl
-	#cvs -z 9 -d $local_repository export -D today ppl
+	fetch_branch $local_repository ppl $BRANCH
 	if [ $? -ne 0 ]
 	then
 	    echo "Cannot export the PPL sources." >>$notification
@@ -83,14 +93,13 @@ obtain_sources() {
 	fi
 	;;
     *)
-	cvs -d $remote_repository export -D today w3ppl
+	fetch_branch $remote_repository w3ppl master
 	if [ $? -ne 0 ]
 	then
 	    echo "Cannot export the PPL web pages." >>$notification
 	    maybe_notify_developers_and_exit
 	fi
-	cvs -z 9 -d $remote_repository export -r $BRANCH ppl
-	#cvs -z 9 -d $remote_repository export -D today ppl
+	fetch_branch $remote_repository ppl $BRANCH
 	if [ $? -ne 0 ]
 	then
 	    echo "Cannot export the PPL sources." >>$notification