# misc

random small scripts that make my life easier.