Some helpful bash scripts