[414] in SIPB bug reports
/usr/sipb/*bin/man
daemon@ATHENA.MIT.EDU (daemon@ATHENA.MIT.EDU)
Thu Mar 23 15:57:29 1989
Date: Thu, 23 Mar 89 15:58:24 EST
From: Jonathan I. Kamens <jik@Athena.MIT.EDU>
To: tytso@ATHENA.MIT.EDU
Cc: srz@ATHENA.MIT.EDU, bug-sipb@ATHENA.MIT.EDU
In-Reply-To: Theodore Ts'o's message of Thu, 23 Mar 89 15:52:17 EST <8903232052.AA15774@OLIVER.MIT.EDU>
Nevertheless, if it bothered you so much, you should have fixed it,
instead of deleting it.
I *do* consider deleting it "fixing it." As I said several times in
several different messages (do people read their mail or just sort of
gloss over it for the stuff in capital letters?), it has become
redundant. It does what we always should have used MANPATH for, and
now that both consultants and SIPB people tell users to add
/usr/sipb/man to their MANPATH, it's just a waste because of the extra
time it takes to start the shell that it runs in.
I have reinstalled the following fixed man script:
*************************
#!/bin/csh -f
if ($?MANPATH) then
if (`echo $MANPATH | /usr/bin/fgrep -c sipb/man`) then
# There will be no user-visible changes for this person when it
# goes away, so we don't have to bother them.
goto man
else
setenv MANPATH /usr/sipb/man:$MANPATH
goto message
endif
else
setenv MANPATH /usr/sipb/man:/usr/man
goto message
endif
message:
echo "If you are getting this message, you are using the SIPB man"
echo "program, which will be going away in a few weeks. To continue"
echo "to get SIPB man pages automatically, add /usr/sipb/man to your"
echo "MANPATH. If you don't know how to do that, stop by the SIPB"
echo "office (room 11-205) and pick up a copy of the Inessential Guide."
echo ""
man:
/usr/ucb/man -M $MANPATH $*
*************************
I see no reason why it shouldn't go away in a few weeks, nor has
anyone (apparently) even tried to offer one thus far.
jik
