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.
la source
User Scriptsleabout:addons, appuyez sur lePreferencesbouton près de votre script, puis appuyez surEdit this User Scriptne sont pas les modifications appliquées automatiquement à partir de cet éditeur?Réponses:
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:
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.
la source