setenv INFA_DEFAULT_DOMAIN <domain name>
INFA_DEFAULT_DOMAIN = <domain name> export INFA_DEFAULT_DOMAIN
Updated February 12, 2021