Cannot resolve hostnames with USB networking
I just installed Replicant 6.00003 on a GT-9300, it seems to work fine.
I followed the USB networking guide (my computer is running Trisquel 9, wifi connection), it gives no error but I fail to access anything in the web browser or to update the F-Droid repository.
Using adb shell, I see an IP address is allocated and I can ping IP addresses successfully but not hostnames.
Is there something else to configure to have hostname resolution working?
I found the solution.
In usb_networking_device.sh, the address of DNS1 and DNS2 needs to be changed as the servers listed there are no more working.
If I use the ones from my ISP, it works. I guess this could be added to the documentation, but I am not sure what to recommend exactly in terms of DNS to use.
One idea would be check the DNS used by the host but I am not sure how to do it. I found advice to use nslookup/dig on the host, but for me it returns 127.0.0.53, perhaps because I am using nscd as recommended when using Guix on a foreign distro.