Misc scripts related to bash