From: batchman@dosville.foo   
      
   On Thu, 29 Nov 2018 22:45:46 +0100, Carlos E.R. wrote:   
      
   > Depending on which desktop you use, you probably have a search   
   > application that also searches contents.   
   >   
   > Baloo, tracker...   
   >   
   > For pure file name finding I use "locate", which is CLI. If you google   
   > "locate gui linux" you'll find hits. Catfish says one.   
   >   
      
   Before asking you guys I checked availability on my system and DuckDuckGo   
   to see what's available but was wanting to get user feedback about   
   specific tools.   
   Thanks again!   
      
   --- SoupGate-Win32 v1.05   
    * Origin: you cannot sedate... all the things you hate (1:229/2)