Search Results for "depends"

...The following options are used: -i (ignore case) and -F (fixed strings), -n (Print page number or output lines) and -H (Print the file name for each match) from the command line tool. The -r option will be done by the program itself. Performance: This GUI works well when searching in several hundreds of documents (depends on the speed of your computer and the length of the documents). Config Dir: [homedir]/.config/pdfgrepgui Available Languages: - English - German You can add your own language by editing the file [homedir]/.config/pdfgrepgui/language.set

...When the sum of ranks is over 9000, all ranks are multiplied by 0.99. Entries with a rank lower than 1 are forgotten. Frecency is a portmanteau of 'recent' and 'frequency'. It is a weighted rank that depends on how often and how recently something occurred. As far as I know, Mozilla came up with the term. To z, a directory that has low ranking but has been accessed recently will quickly have higher rank than a directory accessed frequently a long time ago.