name|grep vs Refined GitHub
A side-by-side look at name|grep and Refined GitHub. For an in-depth review of either product, follow the links below.
name|grep
Os & Utilities
grep is a command line text search tool on Unix systems. The `name` command lists all visible file names in the current directory. `name|grep` pipes the output of `name` into grep, allowing you to search through the file names in the current directory to filter and find specific files.
searchfiltertextfiles
Refined GitHub
Development
Refined GitHub is a browser extension that aims to simplify the GitHub interface and enhance productivity. It adds useful features like showing repository sizes, collapsable diffs, filtering issues and pull requests, and more customization options.
browser-extensionproductivitygithub-interfacerepository-managementissuespull-requests
Related Comparisons
Lean Domain Search
Wordoid
DomainHole
Namesmith.io
NameMesh
Dock Name