find / | grep para encontrar arquivos contendo git mas exclui digital [duplicate]

Question

Eu uso find / | grep git para encontrar repositórios. Às vezes, ele encontra muitos arquivos que contêm digital. Parece muito fácil usar find / | grep -vi digital | grep git , mas acredito que há uma chance de ignorar /home/auser/.../digital/.../gitrepo . Eu também gostaria de pular esses diretórios:

/home/john/C_DRIVE/*
/proc/*

Existe uma maneira de realizar uma pesquisa de forma que uma determinada correspondência seja removida e depois que a pesquisa prossiga?

    

Answer 1

Como os repositórios git têm uma pasta .git , procure por essas pastas:

find / -type d -name .git

    

Answer 2

O que você deseja são dois comutadores, -not e -path . O operador -not permitirá que você ignore um caminho que corresponda aos padrões fornecidos em -path da seguinte forma:

find / -type d -name ".git" -not -path "/home/auser/*/digital/*" -prune