Malcolm Wallace (malcolm-nhc@cs.york.ac.uk)
Fri, 5 May 2000 16:39:51 +0100
---- Forwarded message from Mark Tullsen <tullsen@cs.yale.edu> ---- | This is interesting, as I also had problems recently with /dev/null | getting screwed up. I didn't know who the culprit was and can't be | sure it was nhc. But it was about the same time frame as when I | installed nhc. Here's the info on my system, in case this helps: | | $ nhc98 --version | /usr/local/bin/nhc98: v1.0 pre-release 12 (date 991029) | [ configured for ix86-Linux by tullsen@HAGGIS.CS.YALE.EDU on 17 Nov 1999 ] | | I'm running Red Hat Linux Release 6.0. | | - Mark ---- End ---- Ah, I have a vague recollection that there is (or was) a problem with permissions on /dev/null in standard RedHat 6.0. I think newer versions of RedHat fix it. If so, then the problem was not caused directly by nhc98. However, I have not been able to verify this yet. Regards, Malcolm