From: robin_listas@es.invalid   
      
   On 30/11/2018 21.39, Batchman wrote:   
   > 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.   
      
   I'm sorry, but what I use is locate, a CLI tool.   
      
   --   
   Cheers, Carlos.   
      
   --- SoupGate-Win32 v1.05   
    * Origin: you cannot sedate... all the things you hate (1:229/2)