-
Mike Hibler authored
of their file server (aero) Extend DISABLE_NAMED_SETUP: when set, we don't set a nodes hostname to <name>.<eid>.<pid>.<domain> since that won't resolve. Just stick with pc<XXX>.<domain> in those cases. The various sethostname* scripts are now .in so that they get preprocessed to check for the option.
56acaee5