setenv INFA_DEFAULT_DOMAIN_USER <user name>
INFA_DEFAULT_DOMAIN_USER = <user name> export INFA_DEFAULT_DOMAIN_USER
Updated January 28, 2021