[2] in DeathTongue Changes
/tmp
yandros@ATHENA.MIT.EDU (yandros@ATHENA.MIT.EDU)
Sun Feb 16 15:46:50 1992
It seems that both /tmp and /usr/tmp on DeathTongue are on the root
partition, which gives them almost no space. I talked to someone
today who suggested that there was a setting in site-defs or whatever
that is telling cc (and other things?) that /tmp is 'big', and that by
changing this setting we could avoid some problems.
My questions:
Are /tmp and /usr/tmp going to be reconfigured to give them
more space?
If not, should this change be made?
