macOS 11.6.7 Mark Brethen mark.bret...@gmail.com
> On Jul 15, 2022, at 8:10 AM, Mark Brethen <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 >>>> >
