[Opera 35.0] Wie Userscripts aktivieren? [gelöst]

[Sussi]

Hallo,

wie man Userscripts in alten Opera Versionen bis 12.18 aktiviert u. installiert weiss ich:
unter Extras > Einstellungen > Erweitert > Inhalte > Javascript-Optionen, einfach das User-JavaScript-Verzeichnis angeben in dem sich die gewünschte *.user.js befindet. FERTIG.


In Opera 35.0 finde ich zwar unter:
Einstellungen > Websites > JavaScript >
"Ausnahmen verwalten", weiss aber nicht, wie ich dort ein "User-JavaScript-Verzeichnis" angeben/auswählen kann. In der Hilfe von Opera 35 finde ich keine Anleitung diesbezüglich.

Kann bitte jemand helfen? Das wäre nett

LG Sussi

*EDIT
An den Thread-Titel [gelöst] angehängt

[Tante Google]

[Sussi]

Hab grade ein Tool gefunden für Scripte-Verwaltung unter Opera: "Violent monkey".

Habe mein Script jetzt darüber zwar eingebunden bekommen, aber es funktioniert nicht.

Wie kann ich denn feststellen, ob ein Fehler beim Einbinden vorliegt, oder ob Opera vlt. gar nicht in der Lage ist ein bestimmtes Script auszuführen?

Selbiges Script läuft in Firefox einwandfrei.

[Sussi]

Habe in der Zwischenzeit noch ein weiteres Scripte-Verwaltungs-Tool für Opera gefunden: "Tampermonkey".

Dieses Tool meldet zu dem von mir gewünschten Script folgendes, wenn ich das Script via URL einzubinden versuche:

Unter chrome-extension://mfdhdgbonhjidekjkjmjaneanmdmpmidf wird Folgendes angezeigt:

Ungültiges Userscript. Sorry!

oder, wenn ich es via Datei-Importieren direkt einzubinden versuche:

Unter chrome-extension://mfdhdgbonhjidekjkjmjaneanmdmpmidf wird Folgendes angezeigt:

Falsche Syntax!

Exakt dieses Script läuft aber unter Firefox einwandfrei. Und auf der Seite wo ich es her habe wird es auch für Opera angeboten.

Hat jemand eine Idee was da schief laufen könnte?

[GwenDragon]

Das UserJS für Firefox ist dem von Opera ähnlich aber nicht gleich. ich habe früher auch immer nachgearbeitet.

Welches Skript ist es? Bitte um URL.

[Sussi]

Huhu GwenDragon ,

dieses hier ist es: https://github.com/GuGuss/ARTE-7-Playgr ... er.user.js

[GwenDragon]

Ich habe in Opera 35
1. Erweiterung TamperMonkey Beta installiert
2. Dann den Link https://github.com/GuGuss/ARTE-7-Playgr ... er.user.js geöffnet
3. In Tampermonkey dann Installieren gedrückt
4. Tab von Tampermonkey geschlossen
5. Auf Arte TV bspw. das Video http://www.arte.tv/guide/de/060711-000- ... autoplay=1 besucht, dann erschenen unten die Buttons

download-video.JPG

Und die Buttons laden auch das Video runter.

[Sussi]

Es funzt bei mir jetzt auch!

HURRAAAAAAAAAAAAAAAAAAAAAAA!

für die Hilfe GwenDragon

Ich hatte im "TamperMonkey" Tool immer versucht die *.user.js als URL oder von Festplatte aus hierüber zu importieren:



Bei beiden Möglichkeiten kommen jedoch nur die Fehlermeldungen, welche ich in meinem Post von 12:25 Uhr beschrieben habe. Normalerweise sollte das Improtieren doch aber auch darüber funktionieren, oder nicht!?

Egal, mach ich es halt auf dem von Dir beschrieben Weg dann immer, hauptsache es funzt überhaupt

[GwenDragon]

Wenn ich bei Tampermokeys Hilfsmittel diese URL nehme, klappt es bei mir:
https://github.com/GuGuss/ARTE-7-Playgr ... er.user.js

[Sussi]

Wo bekommst Du den denn her?

Ich bekomme immer diesen hier (und der funzt nicht):
https://github.com/GuGuss/ARTE-7-Playground/blob/master/arte-downloader.user.js

[GwenDragon]

Der Raw-Button auf der Seite ergibt die wirkliche Datei
Du kennst dich nicht so aus bei Github, aber deine genannte Adresse ist nicht die des Skripts sondern des Listings des Skripts.

[Sussi]

Stimmt, ich kenne mich bei Github Null aus.
Wo finde ich denn diesen Raw-Button auf der Seite bitte?

[GwenDragon]

Auf https://github.com/GuGuss/ARTE-7-Playgr ... er.user.js ist doch das Listing, da in dem grauen Header sind drei Buttons.

raw-button.JPG

[Sussi]

Danke.

Hmmm, aber wenn ich da drauf klicke wo Du es Gelb makiert hast und/oder mir die Adresszeile dann ansehe, bekomme ich auch dort nicht den Link den Du gepostet hast (https://github.com/GuGuss/ARTE-7-Playground/blob/master/arte-downloader.user.js), sondern einen nochmal anderen, nämlich den hier:

https://raw.githubusercontent.com/GuGuss/ARTE-7-Playground/master/arte-downloader.user.js

Ahhhhhhhhh ok, ich habs!!! Wenn ich mit der "rechten Maus" auf "RAW" gehe und "Linkadresse kopieren" mache, dann stimmts mit Deinem Link überein!

[GwenDragon]

Au verd... ich bin müde, und wirklich schlecht erklärt.
Ja, wenn du auf Raw klickst bekommst du die Datei selbst. Aber der Button ist ja ein klickbarer Link, deswegen bekommst du wie du schlauerweise getestet hast die URL auch übers Kontextmenü.

[Sussi]

Huhu GwenDragon,

kannst Du bitte auch noch probieren die "arte-downloader.user.js" über Hilfsmittel > Datei > Datei auswählen zu importieren, weil da kommt ja auch nur immer "Falsche Syntax!". Würde gerne wissen ob das nur bei mir so ist.