Changing DNS in Ubuntu 12.10 and 12.04

This should be the right way to change the DNS servers without loosing the dnsmaq functionality, making it global for all you connections through dhcp and keeping NetworkManager aware of which DNS servers are you using.

Editing the file

Code:

sudo gedit /etc/dhcp/dhclient.conf

Adding your DNS(s) server(s) here.

Code:

prepend domain-name-servers x.x.x.x, y.y.y.y;

Source:

http://askubuntu.com/questions/13045...ia-resolv-conf

BASH - remove (or do something) with a list of files (in text file)

Slow: 

while read -r filename; do
  rm "$filename"
done <list.txt

For a few arguments):
 rm -f $(<list.txt)

I think it should work:

xargs -a list.txt -d'\n' rm