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.
User Scripts
leabout:addons
, appuyez sur lePreferences
bouton près de votre script, puis appuyez surEdit this User Script
ne sont pas les modifications appliquées automatiquement à partir de cet éditeur?