On Thu, 9 Oct 2003, Norman Gray wrote:
> In any case, we'd have to wait until cvs.starlink.ac.uk comes back.
> I'm not the only one who got a sudden flood of backlogged commit messages,
> am I?
no.
Duncan says saturn is still behaving a bit strangely at boot time, but
OK to use now.
> But that usually stands for `public', doesn't it? How about /pubs?
>
> In any case, it's not as if we'd type the name at any time other than
> when we were checking the stuff out.
My 2p's worth on the great /publications debate: I agree /pub normally
means public. You have to type 'publications' or whatever when
cd'ing to the directory in question as well as when checking out.
How about /documents. But I don't really care what it's called.
Mark
--
Mark Taylor Starlink Programmer Physics, Bristol University, UK
[log in to unmask] 0117 928 8776 http://www.star.bris.ac.uk/~mbt/
|