Archived Comments (locked)
|
|
The following is an archive of comments made before threaded discussions was implemented (November 16th, 2008) |
|
|
Cool script! You might be interested in a PHP/JavaScript tool I've written for working with batches of URLs.
|
|
|
Dawudd: Feel free to port this to a userChrome.js script. I've only looked at those briefly. As a userChrome.js script, '|' as a separator would make sense, but as a GM script, it wouldn't likely work since you could end up on a Firefox 404 page which I don't think is GM-scriptable. |
|
|
Instead of implementing this with Greasemonkey, I think it more be useful as a userChrome.js script. That way, the URL (any URL) can be split up before loading. Also, I think it would make more sense to use '|' to split URLs, just like Firefox already does for multiple home pages. |
|
|
Personally I will start using another solution instead: http://henrik.nyh.se/blog/2006/07/16/batch-open... |
|
|
Changed the format; this makes more sense. |
|
|
Fantastic! I'm using this to assign custom search keywords to a set of sites, to be able to search from multiple sources at once. Thanks a lot for this script. |