~ $ which curl /opt/local/bin/curl Mark Brethen [email protected]
> On Jul 15, 2022, at 8:09 AM, Chris Jones <[email protected]> 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> >> % 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 >> [email protected] <mailto:[email protected]> >>> On Jul 15, 2022, at 7:21 AM, Mark Brethen <[email protected] >>> <mailto:[email protected]>> wrote: >>> >>> The next logical question is what agent do I use? Is there a Macports user >>> agent? >>> >>> >>> Mark Brethen >>> [email protected] <mailto:[email protected]> >>> >>> >>> >>>> On Jul 14, 2022, at 8:19 PM, Joshua Root <[email protected] >>>> <mailto:[email protected]>> wrote: >>>> >>>> fetch.user_agent >>>
