[Greasemonkey] Goals for the user script directory (very long)
zboogs at gmail.com
Fri Apr 8 12:48:33 EDT 2005
I don't like the idea of using a special extension because then JS
tools won't work by default.
On Apr 8, 2005 11:23 AM, Jeremy Dunck <jdunck at gmail.com> wrote:
> On Apr 8, 2005 12:52 PM, Evan Martin <evan.martin at gmail.com> wrote:
> > Even just using an extension of "userjs" is more unique.
> I'd be for that, as long as we also continued support for .user.js.
> It doesn't replace the need for the directory, though...
> Greasemonkey mailing list
> Greasemonkey at mozdev.org
More information about the Greasemonkey