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 leo-editor@googlegroups.com.
Visit this group at https://groups.google.com/group/leo-editor.
For more options, visit https://groups.google.com/d/optout.

Reply via email to