tools/etc/icpc/update.sh


1
2
3
4
5
6
7
8
9
10
11
12
13
14

#!/bin/bash
if [ "`id -u`" != "0" ]; then
  echo "Script must run as root"
fi
wget -O /tmp/update.sh "http://www.ime.usp.br/~cassio/boca/update.sh"
if [ $? != 0 ]; then
  echo "ERROR DOWNLOADING UPDATE"
  exit 1
fi
echo ">>>>>>>>>>"
echo ">>>>>>>>>> Running update script"
echo ">>>>>>>>>>"
/tmp/update.sh
exit $?