From fe5889fd4f93e5cfede36c544fddbc93673ddeb9 Mon Sep 17 00:00:00 2001 From: Adar Nimrod <nimrod@shore.co.il> Date: Wed, 10 Apr 2019 15:23:12 +0300 Subject: [PATCH] Added search Git command, searches the repo file names and content. --- Documents/bin/git-search | 4 ++++ 1 file changed, 4 insertions(+) create mode 100755 Documents/bin/git-search diff --git a/Documents/bin/git-search b/Documents/bin/git-search new file mode 100755 index 0000000..7275017 --- /dev/null +++ b/Documents/bin/git-search @@ -0,0 +1,4 @@ +#!/bin/sh +set -eu + +{ git ls-files | grep "$@"; git grep --files-with-matches "$@"; } | sort -u -- GitLab