Shell scripts to manage servers