On 27/10/2014 17:45, Tanstaafl wrote: > On 10/25/2014 12:45 PM, Michael Orlitzky <m...@gentoo.org> wrote: >> On 10/25/2014 09:57 AM, Tanstaafl wrote: >>> On 10/7/2014 6:03 PM, Mick <michaelkintz...@gmail.com> wrote: >>>> On Tuesday 07 Oct 2014 22:56:28 Mike Gilbert wrote: >>>>> Quite the opposite. Ideally, you should remove the PORTDIR setting >>>>> from make.conf. repos.conf is the newer, more flexible way to >>>>> configure it. >>>>> >>>>> Unfortunately, that will break some of the third-party portage tools >>>>> which parse make.conf directly. >>> >>>> <Scratches head> ... so are we supposed to guess this, wait for a news >>>> article >>>> somewhere, or will it show up in an emerge log somewhere? >>> >>> So... would appreciate a response from someone who knows. >>> >>> I really dislike making systemic changes like this without really solid >>> guidance on how (and hopefully the why too)... > >> I'm only guessing, but I don't think PORTDIR is going away for a while. > > Ok, but that doesn't answer the main question... > > Mike Gilbert - apparently a gentoo dev - said that ideally we should > remove the PORTDIR setting. > > This begs three questions... > > 1. Is this correct? > > 2. If so, is there a definitive guide/news item/post somewhere that > explains the details (how and why mainly)? > > 3. If not, why did Mike say this?
Occam's razor: What Mike said probably translates best to something like this: Guys, I think it would be a good idea to get rid of PORTDIR now or soon seeing as we're close to being able to do it. What do you all think? The complete lack of any announcement or plan and that PORTDIR still works as always indicates this is probably what he meant by "should" - just a dev talking about an idea -- Alan McKinnon alan.mckin...@gmail.com
