[Greasemonkey] Goals for the user script directory (very long)

Jeremy Dunck jdunck at gmail.com
Fri Apr 8 16:05:46 EDT 2005


On Apr 8, 2005 1:48 PM, Aaron Boodman <zboogs at gmail.com> wrote:
> I don't like the idea of using a special extension because then JS
> tools won't work by default.

Do you mean file associations, or MIME types, or something else?

What if we did something like:
*.gm.user.js

?


More information about the Greasemonkey mailing list