these are bash scripts