useful shell script snippets