User-JavaScript
User-JavaScript erlaubt die Manipulation von Webseiten, um diese den eigenen Bedürfnissen anzupassen oder Probleme zu beseitigen.
Die Funktionsweise ist die selbe, wie bei auf Webseiten eingesetzten JavaScript.
Inhaltsverzeichnis |
[Bearbeiten] Verschiedene Arten von User-JavaScript
Opera benutzt "Browser JavaScript", um Probleme auf Webseiten zu beheben. Dabei handelt es sich z.B. oft um veraltete Skripte die Opera eigentlich blockieren, durch die Manipulation via browser.js aber doch nutzbar werden. Über den Update-Check werden regelmäßig aktualisierte Versionen dieser Datei ausgeliefert. Ein Bearbeiten durch den Benutzer ist nicht vorgesehen und wird durch eine Prüfsumme verhindert. Browser JavaScript lässt sich durch Null-setzen von Browser JavaScript deaktivieren.
Die zweite Art von User-JavaScript sind vom Benutzer erstellte JavaScripts. Der Pfad zu dem Verzeichnis, in dem diese Dateien liegen wird unter "Extras > Einstellungen > Erweitert > Inhalte > JavaScript-Optionen > User-JavaScript-Dateien" angegeben.
[Bearbeiten] User-JavaScript einrichten
Zuerst speichert man das gewünschte Script in einem beliebigen Ordner ab, z.B. in einem Unterordner "userjs" im Profil-Verzeichnis. Dann ruft man in Opera "Extras > Einstellungen > Erweitert > Inhalte > JavaScript-Optionen" auf und gibt dieses Verzeichnis im Feld "User-JavaScript-Dateien" an.
Um User-JavaScript auch auf HTTPS-Seiten verwenden, muss die Option User JavaScript on HTTPS aktiviert werden. Beim ersten Aufruf einer HTTPS-Seite in einer Sitzung erscheint eine Warnung, die den Benutzer darüber unterrichtet, das User-JavaScript für diese Seite aktiviert ist, was ein Sicherheitsrisiko darstellen kann.
[Bearbeiten] User-JavaScript konfigurieren
- User-JavaScript (de)aktivieren: User JavaScript
- User-JavaScript auf auch Seiten benutzen, die kein JavaScript verwenden: Always Loads User JavaScript
- User-JavaScript auch auf HTTPS-Seiten verwenden: User JavaScript on HTTPS (beim ersten Aufruf einer HTTPS-Seite in einer Sitzung erscheint eine Warnung)
[Bearbeiten] User-JavaScripts herunterladen
Eine Sammlung von User-JavaScripts für Opera bietet die englisch-sprachige Seite userjs.org; eine weitere Sammlung bietet userscripts.org, diese Scripte sind aber nicht ausschließlich für Opera und funktionieren daher unter Umständen erst nach Anpassungen.
Auch im User JavaScript-Forum findet sich eine Vielzahl an für Opera geschriebenen Scripts.
