A few shell helpers that I find handy