GitHub - Add Path Search

Enable easy searching in a specific path

You will need to install an extension such as Tampermonkey, Greasemonkey or Violentmonkey to install this script.

You will need to install an extension such as Tampermonkey or Violentmonkey to install this script.

You will need to install an extension such as Tampermonkey or Violentmonkey to install this script.

You will need to install an extension such as Tampermonkey or Userscripts to install this script.

You will need to install an extension such as Tampermonkey to install this script.

You will need to install a user script manager extension to install this script.

(I already have a user script manager, let me install it!)

You will need to install an extension such as Stylus to install this style.

You will need to install an extension such as Stylus to install this style.

You will need to install an extension such as Stylus to install this style.

You will need to install a user style manager extension to install this style.

You will need to install a user style manager extension to install this style.

You will need to install a user style manager extension to install this style.

(I already have a user style manager, let me install it!)

Autor
splintor
Dnevne instalacije
0
Ukupno instalacija
26
Ocene
0 0 0
Verzija
0.2
Napravljeno
10. 09. 2019
Ažurirano
01. 06. 2020
Size
3,36 КБ
Licenca
Nije dostupno
Važi za

This script enables you to search in a GitHub report from the current path. This is especially useful for monorepos, where you are interested in the code of only a specific subtree and not the entire repository.

Usage is quite simple: Once you are in a GitHub folder and you start typing in GitHub search box (you can get there by typing / or s), you will see, in addition to the two regular options (In this repository and All GitHub), another option (in ${current-path}). Clicking it will search the string you typed under the current directory only.