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.

ستحتاج إلى تثبيت إضافة مثل Stylus لتثبيت هذا النمط.

ستحتاج إلى تثبيت إضافة لإدارة أنماط المستخدم لتتمكن من تثبيت هذا النمط.

ستحتاج إلى تثبيت إضافة لإدارة أنماط المستخدم لتثبيت هذا النمط.

ستحتاج إلى تثبيت إضافة لإدارة أنماط المستخدم لتثبيت هذا النمط.

(لدي بالفعل مثبت أنماط للمستخدم، دعني أقم بتثبيته!)

المؤلف
splintor
التثبيت اليومي
0
إجمالي التثبيت
26
التقييمات
0 0 0
الإصدار
0.2
تم إنشاؤه
10-09-2019
تم تحديثه
01-06-2020
الحجم
3.36 KB
الترخيص
لا يوجد
ينطبق على

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.