DNS im Lehrernetz funktioniert nicht?

[Rüdiger Kupper]

kup@rechner-3-12:~$ ping heise.de
ping: unknown host heise.de

kup@rechner-3-12:~$ ping google.de
ping: unknown host google.de

kup@rechner-3-12:~$ host google.de
google.de mail is handled by 20 mx3.lvndummy.kvn.
google.de mail is handled by 10 mx.lvndummy.kvn.
google.de mail is handled by 10 mx2.lvndummy.kvn.

Im Schülernetz funktioniert's.

[bau]

Bitte beachten:
Lehrernetz = KISS-Schulverwaltungsnetz
Die Vorgabe des Kultusministeriums erlaubt keine Namensauflösung - der Zugang zum Internet erfolgt ausschließlich über den ProxyServer von BelWUE.

[Rüdiger Kupper]

Äh, aber im Browser bekomme ich ja auch eine normale Namensauflösung. Was 
muss ich denn für einen Proxy eintragen, um die selbe Namensauflösung im 
Terminal zu bekommen?
Man beachte: „Zugang zum Internet“ heißt viel mehr als http. In dem Fall 
benötige ich ssh-Zugang, um meinen Dateiserver zu erreichen. Es ist ja wohl 
lächerlich, dass ich das vom Schülernetz aus kann, nicht aber vom 
Lehrernetz aus. Es sollte eher umgekehrt sein.

Am Dienstag, 12. April 2016 17:12:00 CEST schrieb Kepler-Trac 
<trac@kg-fds.de>:

[bau]

Nein - im Browser beklommst du keine Namensauflösung sondern der Browser fragt bei allem, was er anfordert beim Proxyserver an. Der Proxy hat dann die Namensauflösung, der Browser nicht.

Das ist nicht lächerlich sondern eine Vorgabe des KM mit der sie die Richtlinie umsetzen, dass "ausnahmsweise ein Internetzugang (Erkl: http/https) aus dem KISS-Netz zulässig ist, wenn es über den bereitgestellten Proxy erfolgt" - Kein SSH, kein POP, kein IMAP, ...