scripts Small bash/python script collection which are supposed to make my life easier. At least in theory.