#!/bin/bash
# This script copies the files for a lab (a directory tree) from
# LAB_HOME to the current directory.  It does so using the svn
# export command, which removes stray .svn files.
#
# This script is meant to be used by students in RSS-I to copy
# each lab from our public checkout of the main repository into
# their group repositories.
# 
# Ara Knaian, ara@mit.edu


LAB_HOME=~/RSS-I-pub/labs/
echo Getting a fresh copy of lab files from $LAB_HOME$1
svn export $LAB_HOME$1 $1