Search Results for "open issue"

GitHub search with Manticore Search. The Manticore GitHub Issue Search tool allows users to search through GitHub issues using Manticore Search, a powerful full-text search engine designed for large datasets and real-time processing. It integrates Manticore's capabilities with GitHub to offer fast and efficient searches within repositories.

CRGREP searches for matching text in databases, various document formats, archives and other difficult to access resources. A command line tool for name and content text matching in database tables, plain files, MS Office documents, PDF, archives, MP3 audio, image meta-data, scanned documents, maven dependencies and web resources. CRGREP will search resources within resources of any arbitrary combination or depth, so text within a document within a zip archive, and so on. Here you...

Many times, developers (or even, normal users) run into an issue of searching for a resource that is inside a zip. Worse, that resource is inside a zip which is itself inside ANOTHER zip (i.e. nested archive). Possibly you need to verify whether a particular resource is present in an ear or you want to know part of a file name but don't know which zip/jar on your hard disk contains that class file. zfind solves this problem. zfind is very fast and it works on most common...