Useful bash scripts for web developers