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

Aaron Boodman 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
> http://mozdev.org/mailman/listinfo/greasemonkey
>


More information about the Greasemonkey mailing list