Setting up the nameserver at INF/UFRGS

inf-nameservers.sh

#! /bin/bash

sudo sed -i "/nameserver 8.8.8.8/d" /etc/resolvconf/resolv.conf.d/head
sudo sed -i "/nameserver 143.54.11.9/d" /etc/resolvconf/resolv.conf.d/head
sudo sed -i "/nameserver 143.54.11.7/d" /etc/resolvconf/resolv.conf.d/head
sudo sed -i "/nameserver 143.54.11.4/d" /etc/resolvconf/resolv.conf.d/head

echo 'nameserver 8.8.8.8' | sudo tee -a /etc/resolvconf/resolv.conf.d/head
sudo resolvconf -u

which traceroute > /dev/null
if [ $? -ne 0 ]; then
    echo 'Installing traceroute'
    sudo apt-get update > /dev/null
    sudo apt-get -y install traceroute > /dev/null
    echo 'Done'
fi

if [ `ifconfig | grep '143.54.[0-9]*.[0-9]*' | wc -l` != "0" ] || [ `sudo traceroute -n -I www.terra.com.br | grep '143.54.[0-9]*.[0-9]*' | wc -l` != "0" ]; then
    echo "This is the University network"
    sudo sed -i "/nameserver 8.8.8.8/d" /etc/resolvconf/resolv.conf.d/head
    echo 'nameserver 143.54.11.9' | sudo tee -a /etc/resolvconf/resolv.conf.d/head
    echo 'nameserver 143.54.11.7' | sudo tee -a /etc/resolvconf/resolv.conf.d/head
    echo 'nameserver 143.54.11.4' | sudo tee -a /etc/resolvconf/resolv.conf.d/head
else
    echo "This isn't the University network"
fi

sudo resolvconf -u