See, you didn't need a link to my script to tell me that. ;-) Thanks. I got past that part of my confusion. There was an @requires tag in the header of the script.
The key symptoms in this problem report are that I had installed a new version of the script, and when I reinstalled the old version which had been working, things continued to be broken. Since greasemonkey (well, something) fetches files as of installation time, reinstalling the old script does not restore the state of the gm_scripts/ directory. It should be possible for sufficiently experienced troubleshooting documentation to eventually list this symptom and point to the gm_script/ directory and the @requires tag in the header of the script. All without needing to have a link to my script. I wasn't asking "can you proofread my 6,000 line script"; I was asking "what general techniques do people use to troubleshoot greasemonkey scripts, particularly when they see <these> symptoms". g'luck, Chuck On Mon, Nov 19, 2012 at 7:43 AM, Anthony Lieuallen <[email protected]>wrote: > I don't know what updater.php is, but it is not part of Greasemonkey. > > When you want help with a particular script, you basically always have to > post a link to it, or nobody can really do anything besides guess wildly. > Whatever updater.php is, there's almost definitely a reference to it > somewhere within your script. > > > On Mon, Nov 19, 2012 at 5:02 AM, Chuck Simmons <[email protected]> wrote: > >> As near as I can tell, the updater.php file that greasemonkey uses for a >> script installed from disk must have changed at some point. When I >> reloaded my app, it must have installed a broken updater.php that prevented >> my script from being executed. I was getting an error to the effect that >> there was a missing '=' sign in some xml in updater.php. Replacing >> updater.php with a file containing a comment seems to have fixed my problem. > > > -- > You received this message because you are subscribed to the Google Groups > "greasemonkey-users" group. > To post to this group, send email to [email protected]. > To unsubscribe from this group, send email to > [email protected]. > For more options, visit this group at > http://groups.google.com/group/greasemonkey-users?hl=en. > -- You received this message because you are subscribed to the Google Groups "greasemonkey-users" group. To post to this group, send email to [email protected]. To unsubscribe from this group, send email to [email protected]. For more options, visit this group at http://groups.google.com/group/greasemonkey-users?hl=en.
