[Omake] Alternate /tmp directory?

[Aleksey Nogin]

Jared,

I believe that we are using Filename.[open_]temp_file for all these 
files, so on Unix the directory should be coming from the TMPDIR 
environment variable and only default to /tmp.

Aleksey

P.S. If OMake still goes to /tmp when TMPDIR is pointing elsewhere, 
please let us know and we'll try to fix it.

On 07.05.2008 08:31, Jared C. Davis wrote:

> Hi,
> 
> Is there a way to tell OMake to use a different directory than /tmp to
> create files like "omake02e1e7.shell" ?
> 
> This is kind of silly, but there's an evil user (not me, honest!) on
> my system whose programs, from time to time, go berserk and fill up
> /tmp to 100%.  Obviously that's not OMake's fault and I should talk to
> him about the virtues of not being evil.  But when it happens, I can't
> use OMake anymore because I get errors like this:
> 
> $ omake -j 64
> *** omake: changing directory to ...
> *** omake: reading OMakefiles
> /usr/bin/printf: write error: No space left on device
> *** omake error:
>    File OMakeroot: line 34, characters 15-40
>    command terminated with code 1:
>       printf '...'
> 
> I thought maybe I could work around this by making a tmp directory
> inside my project somewhere, which lives on a partition that the evil
> user can't touch.
> 
> Of course, this is probably not something that other users would need.
>  So if it is not yet implemented, please don't waste your time on it
> -- I'm just hoping that maybe there's already a way to do it that I
> just don't know about. :)
> 
> Thanks!
> 
> Jared
>