Open MPI logo

Open MPI Development Mailing List Archives

  |   Home   |   Support   |   FAQ   |   all Development mailing list

From: Jeff Squyres (jsquyres_at_[hidden])
Date: 2007-08-31 08:18:03

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).

Jeff Squyres
Cisco Systems