IPv6 DNS servers
 

I am using Linux Mint Rosa 17.3 Cinnamon.

Is IPv6 in everyday use at the moment?

If it is, are there any IPv6 DNS servers I can use instead of those of the ISP, and how would I set them up?

Currently I have set the IPv6 option in the Network Connection program to "Ignore", which I hope means "do not use it".

Thanks.

You might google for IPV6 DNS servers.
Or you can just look at this page and start from there:
https://developers.google.com/speed/...dns/docs/using

Best of luck...

How have you set your current nameservers? If you used the network settings, changing them is just the same settings. Assuming you are sing Network Manager, you can set them in the settings just as you in any NM based OS (Ubuntu). You can also set them in certain files used by NM when networking initializes, but if you do not normally work from the command line I must recommend using the menu and gui settings.