Ich hab heute morgen mal versucht, die Scripte
mit ihren Einstellungen auf Greasemonkey 4.0 zu migrieren und hab festgestellt, daß diese Migration bei mir gar nicht stattfand. Im Changelog von Greasemonkey steht zwar, daß seit der Version 3.12 diese Daten so migriert werden sollten, daß Webextensions (die einzige API für Plugins in Firefox 57) darauf zugreifen können. Allerdings wurde mir bei mehrfachen Updateversuchen weder angezeigt, daß die Daten migriert werden, noch eine Fehlermeldung, daß sie nicht migriert werden konnten. Schlimmer noch, Greasemonkey scheint gar nicht überprüft zu haben, ob der Vorgang überhaupt erfolgreich war und hat weiterhin munter auf das alte Datenformat zugegriffen.
Da die Daten also scheinbar gar nicht mehr verfügbar sind, lohnt es sich imHo auch nicht, die Scripte anzupassen. Zumal Violentmonkey und Tampermonkey ja beide weiterhin die alte Greasemonkey-API unterstützen, die Scripte also ohne Anpassungen laufen.
Wer allerdings weiterhin auf seine Daten zugreifen will müsste das über Firefox 52 ESR (Support bis bis Juni 201
und Greasemonkey 3.17 tun, allerdings wahrscheinlich dafür ein neues
Profil anlegen und den Ordner
gm_scripts aus dem alten Profil-Ordner in den neuen kopieren.
Gibt es denn jemanden, bei dem diese Migration geklappt hat, d.h. bei dem nach dem Update auf Firefox 57 zumindest die Scripte in Greasemonkey sichtbar waren? Wenn ja, bei welchem Betriebssystem (Windows Vista/Windows 10/MacOs (Version)/Linux (Version/…)?
Und wer ein wenig mehr gebastelt hat, über dessen Erfahrungsbericht wäre ich hier auch dankbar.