Bashrc Tipps

Here's a little article with some tips for making your daily shell life easier which at least I have not seen before. They include saving the history of all shells on exit.