- Create a new folder/directory and download the below script to it
- Create two new folders,
plugins
andextracted
(I couldn't be bothered to make the script check & create them itself) - Run the script (Python 3). It may not be the most efficient process, as it downloads & extracts one by one, but it only took around 5 mins for me. That's 5 mins waiting or the 40 mins I could have spent trying to make it a fast script...
On Linux, I used ripgrep
which is a very fast searching tool - it matches practically instantly against the whole repo.
https://github.com/BurntSushi/ripgrep
Installed with sudo apt install ripgrep
(Debian/Ubuntu)
Switch to the 'extracted' folder
Ran with rg <pattern> -g <filename pattern>
eg. rg '.*get_json.*' -g '*.py'
And that will search through every Python file in every plugin :)