This repository is private.
All pages are served over SSL and all pushing and pulling is done over SSH.
No one may fork, clone, or view it unless they are added as a member.
Every repository with this icon (
) is private.
Every repository with this icon (
) is private.
This repository is public.
Anyone may fork, clone, or view it.
Every repository with this icon () is public.
Every repository with this icon (
) is public.
| name | age | message | |
|---|---|---|---|
 |
CHANGELOG | Loading commit data...  |
|
| |
MIT_LICENSE | ||
| |
README.rdoc | ||
| |
github_bookmarklet.js | ||
| |
make_bookmarklet.pl |
README.rdoc
Github Bookmarklet
OK, this should really be called the GitHub Search Bookmarklet, but that takes a handy tool and turns it into a mouthful.
What is it?
A handy little piece of JavaScript that you can save as a bookmark in your browser, and instantly search GitHub.
I built it to satisfy my need to search GitHub Quickly.
Install
- Go to my announcement blog post here: douglasfshearer.com/blog/announcing-github-bookmarklet
- Follow the install instructions.
Usage
When you click on the bookmarklet, it’ll give you a text prompt. Type in your search term, and hit return. You’ll be taken to the GitHub search page for your query.
Hitting ESC or Cancel leaves your browser in it’s previous state.
Acknowledgements
- John Gruber for his bookmarklet formatting script: daringfireball.net/2007/03/javascript_bookmarklet_builder
- The GitHub team for, well, Github: github.com
Credits
Douglas F Shearer - douglasfshearer.com - github.com/dougal
Future
If you have any suggestions, send me a message on GitHub, or fork the project and throw me a pull-request once you’ve made your changes.
