Personal shellscript tools (for ubuntu bash)