You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
grep -i mhz /proc/cpuinfo
cpu MHz : 1199.835
cpu MHz : 1199.835
cpu MHz : 1199.835
cpu MHz : 1202.252
cpu MHz : 1199.633
cpu MHz : 1199.835
cpu MHz : 1219.573
cpu MHz : 1200.036
cpu MHz : 1199.633
cpu MHz : 1213.128
cpu MHz : 1199.835
cpu MHz : 1217.358
The text was updated successfully, but these errors were encountered:
This is an interesting one. /proc/cpuinfo advertises itself as a regular empty file, but it appears that it cannot be memory mapped. rg will try to use memory maps for single file searches, but since /proc/cpuinfo is an empty file, it reports no matches.
If you pass --no-mmap to rg, then searching works.
Files like /proc/cpuinfo will advertise themselves as a normal file with
size 0. Normally, this isn't a problem, but if ripgrep decides to use a
memory map, it skipped searching if the file was empty since it's an error
to memory map an empty file. Instead of returning 0, we should just fall
back to standard read calls.
FixesBurntSushi#55.
Not sure if this is expected behavior or not. Using 0.1.17.
The text was updated successfully, but these errors were encountered: