Am 08.01.2014 17:21 schröbte Hisham:
> On 8 January 2014 13:56, Philipp Janda <siffie...@gmx.net> wrote:
>> Am 08.01.2014 16:30 schröbte Wouter Scherphof:
>>> this helped, thanks!
>>> should I report it as a bug somewhere?
>>
>> You can open a ticket here[1], but Hisham usually also reads this
>> mailing list ...
>>
>> Philipp
>>
>> [1]: https://github.com/keplerproject/luarocks/issues
>
> Please do open a ticket, it helps keeping track of pending bugs.
No need for a new ticket, the bug got fixed a few month ago in the
master branch (the current git HEAD works fine). But the bug is present
in the latest released luarocks version (2.1.1), so maybe we can have a
bugfix release soon? This bug is rather annoying ...
>
>>> 2014/1/8 Philipp Janda <siffie...@gmx.net>
>>>> `~/.cache/luarocks/http___www.luarocks.org_repositories_rocks/manifest-5.2`.
>>>> Mine was from 2013/10/28 and didn't list the newer set rockspecs. After
>>>> renaming `manifest-5.2` an up-to-date version is unpacked and used, and
>>>> the new rockspecs show up in a search. The zip files and timestamp files
>>>> are recent, though.
>>>> Maybe the problem is that UNZIP is set to `unzip -n` which never
>>>> overwrites existing files (changing `-n` to `-o` fixes the problem, but
>>>> as the man page says: `-o` is a dangerous option ...). We should
>>>> probably just remove the extracted manifest before trying to unpack the
>>>> zip file.
>
> Thanks for the hint! Trouble is, we do delete the file before
> attempting to unzip! From manif.lua:
>
> if pathname:match(".*%.zip$") then
> local dir = dir.dir_name(pathname)
> fs.change_dir(dir)
> local nozip = pathname:match("(.*)%.zip$")
> fs.delete(nozip)
> fs.unzip(pathname)
> fs.pop_dir()
> pathname = nozip
> end
>
> I'm unable to reproduce the bug now... maybe it happened in an earlier
> release and your zip and timestamp files got out of sync? I'm adding
> an extra check to test the result of the unzip operation, just in
> case.
>
> -- Hisham
>
Philipp
------------------------------------------------------------------------------
CenturyLink Cloud: The Leader in Enterprise Cloud Services.
Learn Why More Businesses Are Choosing CenturyLink Cloud For
Critical Workloads, Development Environments & Everything In Between.
Get a Quote or Start a Free Trial Today.
http://pubads.g.doubleclick.net/gampad/clk?id=119420431&iu=/4140/ostg.clktrk
_______________________________________________
Luarocks-developers mailing list
Luarocks-developers@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/luarocks-developers
