a few things from the several .bashrcs i currently use