#!/bin/bash

if [ -f /etc/laptop ]; then
  echo Updating RSS-I-pub...
  umask 022
  sudo svn update --username=rss-student --password=hal2000 /home/rss-staff/RSS-I-pub
  umask 007
  echo Update complete.
fi