Benutzer Diskussion:ParaDoxa/Greasemonkey/donachsichtungen.user-js

Das „doNachsichtungen.user.js“-Greasemonkey-JavaScript selbst ist in der WP-Seite „Benutzer:ParaDoxa/Greasemonkey/donachsichtungen.user.js“ zu finden, und nicht in der „Vorderseite“ dieser Diskussionsseite, weil bei aktiver Greasemonkey-Firefox-Erweiterung nicht nur unerfahrene Greasemonkey-Anwender sehr irritiert werden können durch das Greasemonkey-Verhalten, das Laden einer Webseite mit der URL-Endung „.user.js“ als Versuch zu verstehen, das eventuell in einer solchen Webseite vorhandene Script lokal zu installieren. Das ist im Kontext von WP-Seiten nicht nur unpraktisch und irritierend, sondern so gut wie immer unbrauchbar, weil Greasemonkey mit einem Script in einer üblichen WP-Seite nichts sinnvolles anfangen kann. Zur Script-Installation braucht Greasemonkey das reine Script ganz ohne dem WP-HTML-Drumherum, und dafür ist folgende URL brauchbar:

Zum verhindern, dass Greasemonkey auf eine Webseite mit der Endung „.user.js“ reagiert, muss entweder Greasemonkey deaktiviert werden, oder „##“ an die URL angehängt werden, beispielsweise „.user.js##“.

Kurzanleitung

Bearbeiten

zum ersten Mal installieren:

  1. Bei Bedarf Greasemonkey für Firefox installieren
  2. „donachsichtungen.user.js“  neu INSTALLIEREN  (eventuell SOURCE/QUELLTEXT betrachten/bearbeiten)
  3. Optional aber sehr empfehlenswert ist das in wikEd integrierte wikEdDiff, welches eine erweiterte Versionsvergleichs-Option enthält. Nach der Installation kann wikEd ganz oben rechts neben dem WP-Anmelden/Abmelden-Link de- und reaktiviert werden, falls man nur wikEdDiff ohne wikEd verwenden möchte. Sinn meines wikEdDiff-Patches ist, den wikEdDiff-Butten in Versionsvergleichs-Seiten vor die Vergleichstabelle zu positionieren:
    1. „wiked.user.js“  neu INSTALLIEREN einer gepatchten Version  (eventuell SOURCE/QUELLTEXT betrachten/bearbeiten)
  4. Start- bzw. AuffrischungsURL für „donachsichtungen.user.js“:
  5. Über das „FireFox-Menü: Tools → Greasemonkey → Manage User Scripts“ dafür sorgen, dass „wiked.user.js“ das erste UserScript ist.

updaten/aktualisieren:

  1. FireFox-Menü: Tools → Greasemonkey → Manage User Scripts → donachsichtungen → Uninstall → OK
  2. FireFox-Menü: Tools → Options → Advanced → Network → Cache → Clear Now → OK
  3. Gehe zu Punkt 2 unter „zum ersten Mal installieren“

Hinweise:

  • Greasemonkey-Scripts laufen weitestgehend auch dann, wenn JavaScript im Firefox deaktiviert ist,
    aber beispielsweise anscheinend setInterval() nicht mehr, und dann „donachsichtungen.user.js“
    auch nicht mehr (wirklich).

Vorgeschichte April 2009

Bearbeiten

Für Vorgeschichte siehe

oder im Archiv

--ParaDoxa 19:50, 1. Apr. 2009 (CEST)Beantworten

Siehe auch

Bearbeiten

Screenshot - Beispiel-01a

Bearbeiten

 

Screenshot - Beispiel-01b

Bearbeiten

Siehe auch: „Screenshot - Beispiel-01a“.