Portfile
Description: Binary data
main.log
Description: Binary data
Overriding fetch in the portfile does work.
Mark Brethen mark.bret...@gmail.com > On Jul 15, 2022, at 8:26 AM, Chris Jones <jon...@hep.phy.cam.ac.uk> wrote: > > > OK, so next please post the portfile you are testing, and exactly what you > get from the fetch phase when you run > > > sudo port -d fetch xyz > > On 15/07/2022 2:12 pm, Mark Brethen wrote: >> macOS 11.6.7 >> Mark Brethen >> mark.bret...@gmail.com <mailto:mark.bret...@gmail.com> >>> On Jul 15, 2022, at 8:10 AM, Mark Brethen <mark.bret...@gmail.com >>> <mailto:mark.bret...@gmail.com>> wrote: >>> >>> ~ $ which curl >>> /opt/local/bin/curl >>> >>> Mark Brethen >>> mark.bret...@gmail.com <mailto:mark.bret...@gmail.com> >>> >>> >>> >>>> On Jul 15, 2022, at 8:09 AM, Chris Jones <jon...@hep.phy.cam.ac.uk >>>> <mailto:jon...@hep.phy.cam.ac.uk>> wrote: >>>> >>>> >>>> what curl are you using ? System of macports version ? >>>> >>>> What OS are you on ? >>>> >>>> On 15/07/2022 2:01 pm, Mark Brethen wrote: >>>>> Have to follow a redirected file. This worked in terminal: >>>>> ~ $ curl -L -o tetgen1.5.1.tar.gz >>>>> http://www.tetgen.org/1.5/src/tetgen1.5.1.tar.gz >>>>> <http://www.tetgen.org/1.5/src/tetgen1.5.1.tar.gz> >>>>> <http://www.tetgen.org/1.5/src/tetgen1.5.1.tar.gz >>>>> <http://www.tetgen.org/1.5/src/tetgen1.5.1.tar.gz>> >>>>> % Total % Received % Xferd Average Speed Time Time Time >>>>> Current >>>>> Dload Upload Total Spent Left >>>>> Speed >>>>> 0 0 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- >>>>> 0 >>>>> 100 273 100 273 0 0 534 0 --:--:-- --:--:-- --:--:-- >>>>> 0 >>>>> 100 275k 100 275k 0 0 187k 0 0:00:01 0:00:01 --:--:-- >>>>> 187k >>>>> Unless there is a way to set this up in the portfile, I’ll need to >>>>> override the fetch phase. >>>>> Mark Brethen >>>>> mark.bret...@gmail.com <mailto:mark.bret...@gmail.com> >>>>> <mailto:mark.bret...@gmail.com <mailto:mark.bret...@gmail.com>> >>>>>> On Jul 15, 2022, at 7:21 AM, Mark Brethen <mark.bret...@gmail.com >>>>>> <mailto:mark.bret...@gmail.com> <mailto:mark.bret...@gmail.com >>>>>> <mailto:mark.bret...@gmail.com>>> wrote: >>>>>> >>>>>> The next logical question is what agent do I use? Is there a Macports >>>>>> user agent? >>>>>> >>>>>> >>>>>> Mark Brethen >>>>>> mark.bret...@gmail.com <mailto:mark.bret...@gmail.com> >>>>>> <mailto:mark.bret...@gmail.com <mailto:mark.bret...@gmail.com>> >>>>>> >>>>>> >>>>>> >>>>>>> On Jul 14, 2022, at 8:19 PM, Joshua Root <j...@macports.org >>>>>>> <mailto:j...@macports.org> <mailto:j...@macports.org >>>>>>> <mailto:j...@macports.org>>> wrote: >>>>>>> >>>>>>> fetch.user_agent >>>>>> >>>
