...
search ece.utexas.edu domain ece.utexas.edu
nameserver 128.83.185.41
nameserver 128.83.185.40
Restart the networking service
sudo /etc/init.d/network stop
sudo /etc/init.d/network start
...
search ece.utexas.edu domain ece.utexas.edu
nameserver 128.83.185.41
nameserver 128.83.185.40
sudo /etc/init.d/network stop
sudo /etc/init.d/network start