Mozilla 1.0 - einem Monat danach

[Knud]

Hi

Genauso ist die Liste zum Blocken von Bildern nicht nutzbar. Man kann nicht einmal per Hand Hosts eintragen. So muss man trotzdem in hosts bestimmte Domains auf 127.0.0.1 in den Sand laufen lassen, denn wie bitte soll man (komfortabel) Bilder von dutzenden Domains sperren, wenn man es nur durch Klick auf eine Grafik des Servers kann.

Zustimmung. Wildcards wären da auch Nett... adserv.* ;)
..in die Gleiche Richtung geht für mich eine ähnliche Funktion für Plugins.

Ich weiß zwar nicht, ob ich es jetzt so richtig verstehe, was genau gewünscht bzw. gesucht ist, aber ich hatte das Problem, eine Reihe von IP-Adressen bzw. Domainnamen in den Proxy-Einstellungen ausklammern zu müssen und war es leid, bei jedem Rechner wieder die Litanei reinzuschreiben.
Hab mir dann eine autom. Proxy-Konfigurationsdatei geschrieben, die "Wildcards" erlaubt.

SO sieht sie aus:

function FindProxyForURL(url, host) {
        if ( isPlainHostName(host)) {
                return "DIRECT";
        } else {
  if (( shExpMatch(url, "http://10.*")) || ( shExpMatch(url, "http://195.227.49.*"))){
   return "DIRECT";
  } else {
                 return "PROXY proxy.proxyserver.de:8080; DIRECT";
  }
        }
}

Vielleicht hilfts ja.

Gruß,

Knud