On 26 October 2010 07:54, steve donovan <[email protected]> wrote: > The location header from the response does give a file name with a > .tar.gz extension, so one fix would be to propagate that information > back to the clients of fs.download. > > It does seem like a special case, and I was wondering if there's any > other way to resolve this, given that Github is increasingly used as a > place to keep Lua projects. Maybe source.extension to override the > usual logic?
That's one option. Another is to parse the Content-Disposition header to get the filename. wget can be told to do this with --content-disposition. A recent enough version of curl support --remote-header-name (though this feature resulted in a recent security vulnerability http://curl.haxx.se/docs/adv_20101013.html). If luarocks wants to support curl and wget then setting source.extension as Steve suggests may be best. Alex _______________________________________________ Luarocks-developers mailing list [email protected] http://lists.luaforge.net/cgi-bin/mailman/listinfo/luarocks-developers
