I am using gnu-time to test rendering times for some pdfs. I’ve set it up to create text files listing real #.##, user #.##, and sys #.## times.
I want to highlight results of 100 seconds or more.
According to the Devonsphere and Easyfind help guides, ? is a wildcard that can substitute for any other character. So searching text files, with real user sys ???.?? should indicate values of 100 seconds or more, and real user sys [asterisk].[asterisk] should indicate any values.
But these yield no results, while real user sys yields all the output files regardless of the values.
Is there something I’m missing with regard to wildcard usage? Does it not cover numbers, and if so, is there a way to search for numbers by minimum value or by number of digits?