huesler informatik

Another neat trick I keep forgetting. If you want to search your shell history, just type in control-r and then your search query. You can browse through the search results by repeatedly pressing control-r. A big time saver if you ask me.