some shell snippets that I'm using