Bug#931355: apt: unresolvable hostnames are wicked

2019-07-09 Thread Julian Andres Klode
On Tue, Jul 09, 2019 at 10:43:20AM +0200, Julian Andres Klode wrote: > On Wed, Jul 03, 2019 at 01:04:28AM +0200, Thorsten Glaser wrote: > > Package: apt > > Version: 1.8.2 > > Severity: wishlist > > > > W: Failed to fetch http://mirror.lan.tarent.de/debian/dists/sid/InRelease > > Something wicke

Bug#931355: apt: unresolvable hostnames are wicked

2019-07-09 Thread Julian Andres Klode
On Wed, Jul 03, 2019 at 01:04:28AM +0200, Thorsten Glaser wrote: > Package: apt > Version: 1.8.2 > Severity: wishlist > > W: Failed to fetch http://mirror.lan.tarent.de/debian/dists/sid/InRelease > Something wicked happened resolving 'mirror.lan.tarent.de:http' (-5 - No > address associated wit

Bug#931355: apt: unresolvable hostnames are wicked

2019-07-02 Thread Thorsten Glaser
Package: apt Version: 1.8.2 Severity: wishlist W: Failed to fetch http://mirror.lan.tarent.de/debian/dists/sid/InRelease Something wicked happened resolving 'mirror.lan.tarent.de:http' (-5 - No address associated with hostname) This is because I’m currently not in the VPN to $dayjob, but unres