And, seems curl has a -L option to follow redirects; I may use curl -LO from now on.
It does not change the fact that the file isn't named the hash expected from the server: -rw-r--r-- 1 mike users 9502912 Oct 18 07:03 master@%7B1%20day%20ago%7D.zip On Tue, Oct 18, 2016 at 7:02 AM, Mike Hodson <myst...@gmail.com> wrote: > And for the record, I see I missed the curl command, which was: > > mike@odin ~/leo-test $ curl -O 'https://github.com/leo- > editor/leo-editor/archive/master@%7B1%20day%20ago%7D.zip' > % Total % Received % Xferd Average Speed Time Time Time > Current > Dload Upload Total Spent Left > Speed > 100 160 0 160 0 0 340 0 --:--:-- --:--:-- --:--:-- > 364 > > > > On Tue, Oct 18, 2016 at 7:00 AM, Mike Hodson <myst...@gmail.com> wrote: > >> >> On Tue, Oct 18, 2016 at 6:47 AM, Mike Hodson <myst...@gmail.com> wrote: >> >>> Exists? and without much effort on the user end and 0 on yours? yes. >>> >> >> Ok, changing the documentation is not 0 effort, I admit this. It's still >> pretty minimal versus coding something else. >> > > -- You received this message because you are subscribed to the Google Groups "leo-editor" group. To unsubscribe from this group and stop receiving emails from it, send an email to leo-editor+unsubscr...@googlegroups.com. To post to this group, send email to email@example.com. Visit this group at https://groups.google.com/group/leo-editor. For more options, visit https://groups.google.com/d/optout.