Ich bin kürzlich auf Greasemonkey, <http://greasemonkey.mozdev.org/>,
gestossen. Das ist eine Erweiterung für Mozilla/Firefox,
(selbstgeschriebene) JavaScript-Skripte in beliebige Webseiten zu
injizieren und dort auszuführen.
Firefox habe ich zwar installiert, ich verwende ihn aber in der Regel
nicht. Mein Brot-und-Butt-Browser ist Konqueror und dabei möchte ich
auch gerne bleiben. Greasemonkey macht, soweit ich das beurteilen kann,
nichts sonderlich Komplexes. Zwar gibt es ein paar Callbacks in den
Browser, aber Skripte müssen diese nicht verwenden und viele tun es
anscheinend auch nicht. Im wesentlichen fügt Greasemonkey die
jeweiligen Skripte so in den HTML-Code ein, dass sie als Letztes vor
Schliessen des Body-Tags ausgeführt werden. Das muss nicht im Browser
passieren, sondern könnte ebenso gut von einem Proxy erledigt werden.
Mein JavaScript-Frage ist nun, ob angesichts der Unterschiede zwischen
JavaScript-Implementierungen überhaupt Erfolg versprechend ist, andere
Browser mit Greasemonkey-Skripten zu traktieren?
Michael
--
Michael Schuerig There is no matrix,
mailto:michael (AT) schuerig (DOT) de only reality.
http://www.schuerig.de/michael/ --Lawrence Fishburn