A repo of my bash profiles