#!/bin/sh -e USER="$1" if test -z "$USER"; then echo Usage: domtool-rmuser USERNAME exit 1 fi rm -rf /afs/hcoop.net/common/etc/domtool/keys/$USER rm /afs/hcoop.net/common/etc/domtool/certs/$USER.pem domtool-admin rmuser $USER