Menu
I just tried:
michael@Pascal:~/noisynet$ sudo grep -rio --exclude-dir={/ece,/home/michael/pytorch,/sys,/proc} 'hello' /
The very first match is:
/home/michael/pytorch/.git/logs/HEAD:hello
Why is it looking in /home/michael/pytorch?
479
You would need --exclude-dir="dir1" , which excludes elsewhere/dir1 as well. Note that if a directory is excluded, its subdirectories are excluded as well, so --exclude-dir="dir1" also excludes files in . config/dir1/dir2 . If grep's exclude patterns aren't sufficient for you, you can combine find with grep .
Go to Start > Settings > Update & Security > Windows Security > Virus & threat protection. Under Virus & threat protection settings, select Manage settings, and then under Exclusions, select Add or remove exclusions. Select Add an exclusion, and then select from files, folders, file types, or process.
We can exclude directories by using the help of “path“, “prune“, “o” and “print” switches with find command. The directory “bit” will be excluded from the find search!
The grep command is a useful Linux command for performing file content search. It also enables us to recursively search through a specific directory, to find all files matching a given pattern.
This will work well
grep -rio --exclude-dir={ece,pytorch,sys,proc} 'hello' /
Note: This will also exclude other directories with same name.
Explanation:
Man page of grep gives below snippet
--exclude-dir=GLOB Skip any command-line directory with a name suffix that matches the pattern GLOB. When searching recursively, skip any subdirectory whose base name matches GLOB. Ignore any redundant trailing slashes in GLOB.
This means given pattern (GLOB) will be applied only to the actual name of the directory, and since a directory name don't contain / in its name, a pattern like /proc will never match.
Hence, we need to use --exclude-dir=proc or --exclude-dir=sys (or --exclude-dir={proc,sys}) just names for directories to be excluded without '/'.
58
If you love us? You can donate to us via Paypal or buy me a coffee so we can maintain and grow! Thank you!
Donate Us With
