=======================================================
E10K: Renaming domains
=======================================================
:Title:        E10K: Renaming domains
:Author:       Douglas O'Leary <dkoleary@olearycomputers.com>
:Description:  E10K: Renaming domains
:Date created: 08/1999
:Date updated: 09/1999
:Disclaimer:   Standard: Use the information that follows at your own risk.  If you screw up a system, don't blame it on me...

Since domain names and host names must match, you have to do a wee bit of 
work before issuing the domain_rename command.

#.  Update host information

    a.  /etc/hosts
    b.  /etc/nodename
    c.  /etc/hostname.${interface}
    d.  Any routing information
    e.  Any name service information

#.  Shutdown the domain
#.  ``domain_rename -d ${old_name} -n ${new_name}``
#.  ``domain_switch ${new_name}``
#.  ``bringup`` the new domain.