Open MPI logo

Open MPI Development Mailing List Archives

  |   Home   |   Support   |   FAQ   |   all Development mailing list

From: Ralph Castain (rhc_at_[hidden])
Date: 2007-08-31 08:52:02


On 8/31/07 6:18 AM, "Jeff Squyres" <jsquyres_at_[hidden]> wrote:

> On Aug 31, 2007, at 8:14 AM, Tim Prins wrote:
>
>> Why not make /tmp-public and /tmp-private?
>>
>> Leave /tmp alone. Have all new branches made in one of the two new
>> directories, and as /tmp branches are slowly whacked, we can
>> (eventually) get rid of /tmp.
>
> I'm fine with that. If no one else objects, let's bring this up on
> Tuesday to make sure everyone is aware and then pick a date to rename
> everything (requires a global sync since it will affect anyone who
> has a current /tmp checkout).

Or, to make life really simple, just leave /tmp alone and private. Just
create a tmp-public for branches that are not private. That way, those of us
with private tmp branches are unaffected, no global sync's are required,
etc.

Or perhaps that is -too- simple.... ;-)

Ralph