Greetings all,
what would be the motivation to move the distfiles from the default /usr/ports/distfiles directory? I am asking because ports-mgmt/synth suggests to place the distfiles outside the /usr/ports tree. What would be a preferred/logical location?
The only reason that I could think of, in general, not specifically for ports-mgmt/synth, is some corruption during ports update, which would require to delete and re-fetch the /usr/ports, but to avoid the need to re-download the distfiles.
Kindest regards,
M
what would be the motivation to move the distfiles from the default /usr/ports/distfiles directory? I am asking because ports-mgmt/synth suggests to place the distfiles outside the /usr/ports tree. What would be a preferred/logical location?
The only reason that I could think of, in general, not specifically for ports-mgmt/synth, is some corruption during ports update, which would require to delete and re-fetch the /usr/ports, but to avoid the need to re-download the distfiles.
Kindest regards,
M