[Greasemonkey] Goals for the user script directory (very long)
evan.martin at gmail.com
Fri Apr 8 11:52:13 EDT 2005
Which reminds me: as I've suggested to Aaron, a more likely fix is to
pick a more unique string for representing these scripts, especially
because they have greasemonkey-specific metadata in the comments at
"user.js" means a bunch of different things, as a search engine will
tell you. :)
Even just using an extension of "userjs" is more unique.
On Apr 8, 2005 10:43 AM, Evan Martin <evan.martin at gmail.com> wrote:
> A few people on this list work at Google. It's been discussed.
> On Apr 8, 2005 10:06 AM, Julien Couvreur <julien.couvreur at gmail.com> wrote:
> > > I guess. it's just that full text search has sorta been done :) Wish
> > > there was a way to use existing providers. If only f***ing google
> > > would expose .user.js. :: sigh :: Delicious doesn't provide text
> > > searching?
> > Does anyone have a friend in Google that could pull some strings to
> > get .user.js added to the list of supported extensions?
> > _______________________________________________
> > Greasemonkey mailing list
> > Greasemonkey at mozdev.org
> > http://mozdev.org/mailman/listinfo/greasemonkey
More information about the Greasemonkey