solved by editing a different (but similarly named) file in LinuxMint
see here: http://forums.linuxmint.com/viewtopic.php?f=90&t=166299
file to edit: gedit /etc/NetworkManager/NetworkManager.conf
solved by editing a different (but similarly named) file in LinuxMint
see here: forums. linuxmint. com/viewtopic. php?f=90& t=166299
http://
file to edit: ager/NetworkMan ager.conf
gedit /etc/NetworkMan