Some stupid little bash scripts to help maintain Profile Manager on OS X