On Mon, Jul 9, 2018 at 1:26 PM Alec Warner <[email protected]> wrote: > > The former is probably 3 times easier than the latter. > - Get testers to move their tree and report issues[0]. > - Change the stage3 defaults to be the new location. > - Explicitly do nothing else. > > New installs will get the new location, old installs will get the old > location. > > [0] A number of people already point PORTDIR at some other location and > appear to operate without major issues. >
IMO it would be best to just fix this for new installs, and post a news item about it with some instructions for users to migrate. There really isn't much to it though. I'd think you could just move it at the filesystem level and then change the pointers. Or you can just change the pointers and do a sync to pull down a fresh copy and clean up later. I'm not sure where we default distfiles to these days but that should also go outside of /usr. It should also not be a subdirectory of PORTDIR. Ideally you should just be able to rm -r $PORTDIR and then do a sync and get it right back. (Also, your email got former/latter swapped around.) -- Rich
