setenv INFA_DEFAULT_DOMAIN <domain name>
INFA_DEFAULT_DOMAIN = <domain name> export INFA_DEFAULT_DOMAIN
Updated April 22, 2019