Mettre à jour automatiquement un script greasemonkey en cours de développement


3

Je suis un grand fan de greasemonkey mais il y a une chose que je n'aime pas: chaque fois que je mets à jour un script, je dois le faire glisser depuis l'explorateur vers une fenêtre du navigateur, attendez quelques secondes et cliquez sur "installer", puis actualisez la page cible pour voir l'effet.

Une récente mise à jour de Firefox vient d'ajouter un clic supplémentaire à l'ensemble du processus. C'est probablement acceptable pour un utilisateur final, mais c'est vraiment pénible quand le script est en développement actif - où il est fréquemment mis à jour. Idéalement, je recherche une interface de console capable de "pousser" directement le script mis à jour dans Firefox sans (ou au minimum pour des raisons de sécurité) sans délai ni clic.

METTRE À JOUR

Je viens d'essayer de "modifier ce script utilisateur" comme suggéré par ov1d1u. Il y a deux problèmes: 1) l'éditeur interne n'est pas à la hauteur de mes préférences; 2) cela fonctionne dans un dossier secret qui est difficile à utiliser le contrôle de code source. Cependant, comme il révélait un dossier secret, j'ai essayé de mettre à jour le fichier directement dans ce dossier et cela a fonctionné! Je viens de créer un fichier de commandes avec le contenu suivant:

xcopy /d my.user.js "...\AppData\Roaming\...\gm_scripts\...\"

C'est de loin une bonne solution à ce que je voulais.


1
Si vous allez à User Scriptsle about:addons, appuyez sur le Preferencesbouton près de votre script, puis appuyez sur Edit this User Scriptne sont pas les modifications appliquées automatiquement à partir de cet éditeur?
ov1d1u

> "l'éditeur interne n'est pas aussi bon que ma préférence" Je pense que c'est en fait l'éditeur par défaut. Donc, si vous avez configuré votre meilleur éditeur par défaut, il sera utilisé pour ouvrir le script utilisateur.
wanghq

Vous devriez poster votre modification en réponse
janot

Réponses:


2

Comme Janot l'a suggéré, je publie ce qui a fonctionné pour moi comme réponse ici.

Ce qui suit est de ma mise à jour de la question d'origine:

Je viens d'essayer de "modifier ce script utilisateur" comme suggéré par ov1d1u. Il y a deux problèmes: 1) l'éditeur interne n'est pas à la hauteur de mes préférences; 2) cela fonctionne dans un dossier secret qui est difficile à utiliser le contrôle de code source. Cependant, comme il révélait un dossier secret, j'ai essayé de mettre à jour le fichier directement dans ce dossier et cela a fonctionné! Je viens de créer un fichier de commandes avec le contenu suivant:

xcopy /d my.user.js "...\AppData\Roaming\...\gm_scripts\...\"

C'est de loin une bonne solution à ce que je voulais.

Mise à jour de février 2016

Cela fait deux ans que cette question a été posée. Maintenant, je suis passé à Chrome + Tampermonkey. Tampermonkey permet de mettre à jour un script localement en spécifiant un updateURL dans le script. De cette manière, je viens d'installer un simple serveur HTTP localement et de mettre à jour un script en deux clics depuis Chrome. Ce n'est probablement pas quelque chose de nouveau, mais je veux juste en parler ici.

En utilisant notre site, vous reconnaissez avoir lu et compris notre politique liée aux cookies et notre politique de confidentialité.
Licensed under cc by-sa 3.0 with attribution required.