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 09:04:35


Done. Public temp branches are now [strongly] encouraged to use /tmp-
public.

    https://svn.open-mpi.org/trac/ompi/changeset/16030

On Aug 31, 2007, at 8:57 AM, Tim Prins wrote:

> Jeff Squyres wrote:
>> That's fine, too. I don't really care -- /public already exists. We
>> can simply rename it to /tmp-public.
>
> Let's do that. It should (more or less) address all concerns that have
> been voiced.
>
> Tim
>
>>
>>
>> On Aug 31, 2007, at 8:52 AM, Ralph Castain 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
>>>
>>>
>>> _______________________________________________
>>> devel mailing list
>>> devel_at_[hidden]
>>> http://www.open-mpi.org/mailman/listinfo.cgi/devel
>>
>>
>
> _______________________________________________
> devel mailing list
> devel_at_[hidden]
> http://www.open-mpi.org/mailman/listinfo.cgi/devel

-- 
Jeff Squyres
Cisco Systems