Miscellaneous Bash scripts, some general frameworks, some libraries of functions