[Omake] Alternate /tmp directory?

[Jared C. Davis]

Hi,

That seems perfect, thanks!

Jared

On Wed, May 7, 2008 at 11:40 AM, Aleksey Nogin <nogin at metaprl.org> wrote:
> 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
> >
> >
>
>  _______________________________________________
>  Omake mailing list
>  Omake at metaprl.org
>  https://lists.metaprl.org/mailman/listinfo/omake
>



-- 
Jared C. Davis <jared at cs.utexas.edu>
11410 Windermere Meadows
Austin, TX 78759
http://www.cs.utexas.edu/users/jared/