diff options
Diffstat (limited to 'tools/etc')
| -rwxr-xr-x | tools/etc/cron.hourly/ntp | 2 | ||||
| -rwxr-xr-x | tools/etc/icpc/createbocajail.sh | 7 | ||||
| -rwxr-xr-x | tools/etc/rc.local | 12 |
3 files changed, 7 insertions, 14 deletions
diff --git a/tools/etc/cron.hourly/ntp b/tools/etc/cron.hourly/ntp index 40ea135..8f1cda9 100755 --- a/tools/etc/cron.hourly/ntp +++ b/tools/etc/cron.hourly/ntp @@ -1,2 +1,2 @@ #!/bin/bash -ntpdate -u 143.107.255.15 +ntpdate -u 198.60.22.240 diff --git a/tools/etc/icpc/createbocajail.sh b/tools/etc/icpc/createbocajail.sh index fa7a877..5ea336c 100755 --- a/tools/etc/icpc/createbocajail.sh +++ b/tools/etc/icpc/createbocajail.sh @@ -114,10 +114,11 @@ cat <<EOF > /home/bocajail/tmp/populate.sh #!/bin/bash mount -t proc proc /proc apt-get -y update -apt-get -y install python-software-properties +apt-get -y install python-software-properties software-properties-common +add-apt-repository -y ppa:brunoribas/ppa-maratona +apt-get -y update apt-get -y upgrade -apt-get -y install g++ gcc libstdc++6 sharutils default-jdk default-jre -apt-get -y install openjdk-7-jdk openjdk-7-jre +apt-get -y install maratona-linguagens --no-install-recommends --allow-unauthenticated apt-get -y clean umount /proc diff --git a/tools/etc/rc.local b/tools/etc/rc.local index 5bff287..d6e943b 100755 --- a/tools/etc/rc.local +++ b/tools/etc/rc.local @@ -21,23 +21,15 @@ if [ $? != 0 ]; then echo "iface eth0 inet dhcp" >> /etc/network/interfaces fi -grep -q "143.107.255.15.*ntp.usp.br.*ntp.usp.br" /etc/hosts -if [ $? != 0 ]; then - echo "143.107.255.15 ntp.usp.br ntp.usp.br" >> /etc/hosts -fi grep -q "50.116.19.221.*www.bombonera.org.*www.bombonera.org" /etc/hosts if [ $? != 0 ]; then echo "50.116.19.221 www.bombonera.org www.bombonera.org" >> /etc/hosts fi -grep -q "45.33.30.235.*boca.bombonera.org.*boca.bombonera.org" /etc/hosts -if [ $? != 0 ]; then - echo "45.33.30.235 boca.bombonera.org boca.bombonera.org" >> /etc/hosts -fi grep -q "143.107.45.22.*www.ime.usp.br.*www.ime.usp.br" /etc/hosts if [ $? != 0 ]; then echo "143.107.45.22 www.ime.usp.br www.ime.usp.br" >> /etc/hosts fi -ntpdate -u ntp.usp.br -ntpdate -u ntp.usp.br +ntpdate -u 198.60.22.240 +ntpdate -u 104.232.3.3 exit 0 |