genkrb5conf - Generates a krb5.conf file
usage: genkrb5conf.py [-h] [--output OUTPUT] domain domain_controller_ip