On Sat, Mar 14, 2020 at 03:59:26PM +0100, Pierre Neidhardt wrote:
> Sorry, forgot to follow up with this thread. Jelle's trick did work for
> me.
>
> The issue happens most of the times when I travel.
> Should we consider this a bug? Can we do something to fix it?
I consider it a bug, please
Le 7 février 2020 08:36:54 GMT-05:00, Jelle Licht a écrit :
>Pierre Neidhardt writes:
>
>> Hi!
>>
>> A strange thing just happened to me: ever since I went to Belgium
>last
>> week (don't know if it's relevant) I keep getting domain name
>resolution
>> errors.
>
>>
>> For instance right now
Pierre Neidhardt writes:
> Hi!
>
> A strange thing just happened to me: ever since I went to Belgium last
> week (don't know if it's relevant) I keep getting domain name resolution
> errors.
>
> For instance right now duckduckgo.com fails but guix.gnu.org works.
>
> I'm back home now and the
Hi!
A strange thing just happened to me: ever since I went to Belgium last
week (don't know if it's relevant) I keep getting domain name resolution
errors.
For instance right now duckduckgo.com fails but guix.gnu.org works.
I'm back home now and the issue persists.
Any clue how to investigate?