Seite 1 von 2
[Opera 35.0] Wie Userscripts aktivieren? [gelöst]
Verfasst: 04.03.2016, 08:28
von 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
Re: [Opera 35.0] Wie Userscripts aktivieren?
Verfasst: 04.03.2016, 09:07
von 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.
Re: [Opera 35.0] Wie Userscripts aktivieren?
Verfasst: 04.03.2016, 12:25
von 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?
Re: [Opera 35.0] Wie Userscripts aktivieren?
Verfasst: 04.03.2016, 12:59
von 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.
Re: [Opera 35.0] Wie Userscripts aktivieren?
Verfasst: 04.03.2016, 13:09
von Sussi
Re: [Opera 35.0] Wie Userscripts aktivieren?
Verfasst: 04.03.2016, 14:59
von 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.

Problem gelöst
Verfasst: 04.03.2016, 15:44
von 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

Re: [Opera 35.0] Wie Userscripts aktivieren? [gelöst]
Verfasst: 04.03.2016, 15:59
von GwenDragon
Wenn ich bei Tampermokeys Hilfsmittel diese URL nehme, klappt es bei mir:
https://github.com/GuGuss/ARTE-7-Playgr ... er.user.js
Re: [Opera 35.0] Wie Userscripts aktivieren? [gelöst]
Verfasst: 04.03.2016, 16:17
von 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
Re: [Opera 35.0] Wie Userscripts aktivieren? [gelöst]
Verfasst: 04.03.2016, 16:50
von 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.
Re: [Opera 35.0] Wie Userscripts aktivieren? [gelöst]
Verfasst: 04.03.2016, 17:42
von Sussi
Stimmt, ich kenne mich bei Github Null aus.
Wo finde ich denn diesen Raw-Button auf der Seite bitte?
Re: [Opera 35.0] Wie Userscripts aktivieren? [gelöst]
Verfasst: 04.03.2016, 18:27
von 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
Re: [Opera 35.0] Wie Userscripts aktivieren? [gelöst]
Verfasst: 04.03.2016, 18:49
von 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!

Re: [Opera 35.0] Wie Userscripts aktivieren? [gelöst]
Verfasst: 04.03.2016, 19:03
von 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ü.
Re: [Opera 35.0] Wie Userscripts aktivieren? [gelöst]
Verfasst: 05.03.2016, 17:24
von 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.
