Gentoo Forums
Gentoo Forums
Gentoo Forums
Quick Search: in
Dolphin filter bar
View unanswered posts
View posts from last 24 hours

 
Reply to topic    Gentoo Forums Forum Index Documentation, Tips & Tricks
View previous topic :: View next topic  
Author Message
TheAbu
Apprentice
Apprentice


Joined: 08 Jun 2008
Posts: 160
Location: Lyon, France

PostPosted: Sun Jul 05, 2009 6:23 pm    Post subject: Dolphin filter bar Reply with quote

Ok, I'm not really sure it's worth a post here, but since it's very useful and maybe not common knowledge ...

If you don't already know, you can have a filter bar at the bottom of the main file display in Dolphin (Settings -> Configure Dolphin -> Startup -> Show filter bar. By itself, it's already a very useful thing, but today, I noticed that it also accept regular expressions (it seems to be fully compatible with the Perl dialect of RE). When checking a big directory, it's really a great tool :)
_________________
"Please, forgive my bad English"
Gentoo made me love using my computer again. Thank you to the Gentoo devs and more generally to all the people who makes GNU/Linux possible :)
Back to top
View user's profile Send private message
Mike Hunt
Watchman
Watchman


Joined: 19 Jul 2009
Posts: 5287

PostPosted: Wed Aug 12, 2009 4:51 pm    Post subject: Reply with quote

Oh ya, that is interesting, kinda like a grep -i
Back to top
View user's profile Send private message
Display posts from previous:   
Reply to topic    Gentoo Forums Forum Index Documentation, Tips & Tricks All times are GMT
Page 1 of 1

 
Jump to:  
You cannot post new topics in this forum
You cannot reply to topics in this forum
You cannot edit your posts in this forum
You cannot delete your posts in this forum
You cannot vote in polls in this forum