tools

Linux tools (mostly bash)