some shell scripts I use to configure my servers