Greasemonkey: WebExt : prise en charge de l'éditeur externe (répertoire d'extension en lecture/écriture)

Créé le 5 juin 2017  ·  5Commentaires  ·  Source: greasemonkey/greasemonkey

L'API d'exécution fournit plusieurs façons de lire les fichiers à partir du répertoire d'extension, il reste donc à explorer comment écrire des fichiers dans le répertoire d'extension.

Je pense qu'il vaut la peine d'explorer si runtime#getPackageDirectoryEntry et fileSystem#getWritableEntry peuvent être utilisés pour écrire des fichiers dans le répertoire d'extension, mais je crains que le système d'autorisation n'interfère.

Commentaire le plus utile

Tous les 5 commentaires

Il s'avère que fileSystem n'est pas disponible pour les extensions, uniquement pour les applications. Ainsi, avec une API en lecture seule, il pourrait toujours être possible d'implémenter le support de l'éditeur, mais des choses comme la mise à jour automatique ne seront pas possibles.

C'est effectivement impossible. La seule chose que je peux imaginer est d'utiliser une messagerie native et un binaire local écrit personnalisé. Ce sera beaucoup de travail, au mieux.

@ yfdyh000 Merci, c'est incroyablement utile ! Je n'ai même pas pensé à exécuter python -m http.server pour servir mon dossier userscript sur localhost pendant que je les édite. Désormais, il ne reste plus que deux clics et un délai d'environ 3 secondes entre eux pour recharger un script à partir du disque.

La seule étape manquante pour le rendre vraiment pratique est la fonctionnalité Violentmonkey mentionnée dans l'article : une case à cocher sur la page "Script d'installation" de GM pour surveiller le fichier au lieu de le fermer après l'installation. Même simplement garder cette page d'installation ouverte au lieu de la fermer après avoir cliqué sur Installer serait génial.

Cette page vous a été utile?
0 / 5 - 0 notes