some bash snippets