Assuming you are at pianosa, /etc/resolv.conf is like
# Generated by NetworkManager
nameserver 192.168.113.104
nameserver 8.8.8.8
But this should be like
nameserver 192.168.113.104
nameserver 131.215.125.1
nameserver 8.8.8.8
search martian
as indicated in https://nodus.ligo.caltech.edu:8081/40m/14767
I did this change for now. But this might get overridden by Network Manager. |