file with useful things for your .bashrc