111 reputation
2
bio website
location
age
visits member for 2 years, 1 month
seen Jul 23 at 15:46

Feb
7
awarded  Supporter
Sep
26
awarded  Student
Jun
6
comment websites resolving in browser but not resolving in CLI. Can ping IP but not domain name (unknown host)
For some reason the problem wouldn't go away when I rebooted the computer but logging in and out fixed it. Might just be coincidence but happy enough with that. I noticed that the problem kept happening after I'd come home from university (where I do use a proxy). I'd been triple checking that the proxy was turned off but I'm guessing Ubuntu kept the proxy on the terminal for some reason. Logging in and out seems to have fixed it.
Jun
5
comment websites resolving in browser but not resolving in CLI. Can ping IP but not domain name (unknown host)
@devius I can ping 8.8.8.8 and that seems to work fine, I've also tried pinging rubygems.org and whilst it's a lot slower it doesn't seem to end in packet loss.
Jun
5
comment websites resolving in browser but not resolving in CLI. Can ping IP but not domain name (unknown host)
@grawity the web browser doesn't have a proxy configured
Jun
4
comment websites resolving in browser but not resolving in CLI. Can ping IP but not domain name (unknown host)
@Paul They're running on the same machine
Jun
4
asked websites resolving in browser but not resolving in CLI. Can ping IP but not domain name (unknown host)