A few bash scripts to ease server administration.