Re: CVS commit: src/external/gpl3

[Robert Elz <kre%munnari.OZ.AU@localhost>]

    Date:        Wed, 25 Mar 2020 20:59:59 -0400
    From:        Greg Troxel <gdt%lexort.com@localhost>
    Message-ID:  <rmio8skkk1c.fsf%s1.lexort.com@localhost>

  | I'll fourth this sentiment.

Me too (5th...)

The idea that /tmp is smaller than /var/tmp (or has less available space)
is based upon historic RAM sizes, my /tmp currently has about 10 times
as much available space as /var/tmp (when empty, the difference is more like
3:1 but /var/tmp (well, /var) has other stuff occupying space) - I run the
latter out from time to time, but never run out of /tmp space.

For current use, anything which is truly temporary shouid be in /tmp,
whatever the gcc upstream believe, their temporary files are just not
important enough to warrant keeping, and their ideas of available space
on modern systems are absurd.

kre