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