This is a user script that adds a search box to repository pages which allows you to search the code in that repository.
- Make sure you have user scripts enabled in your browser (these instructions refer to the latest versions of the browsers):
- CHROME 21+:
- Download the user script.
- Open chrome://chrome/extensions/.
- Drag and drop the user script file on the page you opened in step 2.
- CHROME 20 (and below): User scripts are enabled by default. Continue to STEP 2.
- FIREFOX: Install GreaseMonkey, then continue to STEP 2.
- IE: Install Trixie. Continue to STEP 2.
- OPERA: Follow instructions located on Opera's site: User JS. Continue to STEP 2.
-
SAFARI: Install SIMBL. Install GreaseKit. Continue to STEP 2. - SAFARI: Install NinjaKit. Continue to STEP 2. (see Issue #2)
- CHROME 21+:
- Install the "GitHub Repo Search" user script by clicking here: github-code-search.user.js.