e07@nikhefh.nikhef.nl (Eric Wassenaar) (12/18/89)
As was the case in SR9, in SR10 node-ids are still returned in uppercase, e.g. in the printout of various commands, or in the environment variable NODEID, even if the node ids were defined as lowercase. This is inconsistent as SR10 is supposed to be case-sensitive. It is very inconvenient if one has to take care of this in shell scripts, or in the use of variant links with the $(NODEID) in it. Eric Wassenaar -- Organization: NIKHEF-H, National Institute for Nuclear and High-Energy Physics Address: Kruislaan 409, P.O. Box 41882, 1009 DB Amsterdam, the Netherlands Phone: +31 20 592 0412, Home: +31 20 909449, Telefax: +31 20 592 5155 Internet: e07@nikhef.nl
derstad@CIM-VAX.HONEYWELL.COM ("DAVE ERSTAD") (12/19/89)
Node id's are hexadecimal numbers. It is equally correct to return them in upper or lower case, regardless of whether the OS is case sensitive or not. In fact, I personallyl have a preference for seeing hex in upper case, and most systems I have been on use upper case for hex display. Dave Erstad Honeywell SSEC DERSTAD@cim-vax.honeywell.com