Stephan Seitz <stse+deb...@fsing.rootsland.net> writes:
> On Fri, Jun 01, 2012 at 02:19:53PM +0200, Goswin von Brederlow wrote:
>>In general your option assumes that you need the maximum amount of free
>>space in /tmp. That is simply not true. In most cases a small /tmp is
>>just peachy. Because of this it is hard to set a minimum size where
>>tmpfs would be too small to be usefull. For some user that would be
>>100MB, for others it is 100GB.
>
> /tmp is for temporary files, so I expect my /tmp to hold all these
> files, in my case DVD ISO images (downloaded or localy generated) that
> I will burn and then delete. So my /tmp is at least 20GB. BluRay users
> may need more.
So you are one of the 100GB users.
Personally I thing DVD ISO images (downloaded) belong in your $HOME
somewhere. And locally generated should just pipe the image to the
burner unless you want to upload the image somewhere, in which case
$HOME again. Just imagine a power failure after you painstackingly
uploaded 99.9% of the iso and then you have to start from scratch again
because a reboot cleans /tmp.
> If this is not the meaning of /tmp, then rename it.
>
> Diskspace is cheap and easier to spare than my RAM. So, yes, if
> someone has one 3TB partition which is writeable, then /tmp belongs to
> disk not to RAM.
>
> Shade and sweet water!
>
> Stephan
Just out of interest: Do you have /tmp on /? Because if you do already
have a seperate /tmp partition then that obviously stays used.
MfG
Goswin
--
To UNSUBSCRIBE, email to debian-devel-requ...@lists.debian.org
with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
Archive: http://lists.debian.org/87pq9ecg52.fsf@frosties.localnet
