mersenneforum.org - View Single Post

henryzz · 2017-11-20, 15:14

I just found a way of fixing it. It had to edit /etc/hosts to add 127.0.0.1 JIMMY
I found this by getting a similar error running sudo
Hope you lose your migraine quickly they can be a pain.

I am not certain that it should have been crashing after failing to resolve JIMMY. It knew it could use 127.0.0.1

I was right it was trivial to fix assuming you knew the issue.

2017-11-20, 15:14	#5
henryzz Just call me Henry "David" Sep 2007 Cambridge (GMT/BST) 5·19·61 Posts	I just found a way of fixing it. It had to edit /etc/hosts to add 127.0.0.1 JIMMY I found this by getting a similar error running sudo Hope you lose your migraine quickly they can be a pain. I am not certain that it should have been crashing after failing to resolve JIMMY. It knew it could use 127.0.0.1 I was right it was trivial to fix assuming you knew the issue.