~ $ which curl /opt/local/bin/curl Mark Brethen mark.bret...@gmail.com
> On Jul 15, 2022, at 8:09 AM, Chris Jones <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> >> % 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> >>> On Jul 15, 2022, at 7:21 AM, Mark Brethen <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> >>> >>> >>> >>>> On Jul 14, 2022, at 8:19 PM, Joshua Root <j...@macports.org >>>> <mailto:j...@macports.org>> wrote: >>>> >>>> fetch.user_agent >>>
