lake exe cache get always decompresses

Stream: ecosystem infrastructure

[Michael Stoll]

When running lake exe cache get, I see something like

Downloaded: 2 file(s) [attempted 2/2 = 100%, 193 KB/s]
Decompressing 7394 file(s)

Why does it always decompress all files, even though it only downloaded a few of them? The others should already be present in their uncompressed form, I would assume, and so it should only be necessary to decompress the files that were actually downloaded.

[Floris van Doorn]

It is definitely always true that if you don't have to download a file, then the decompressed version is already in your lakefile. You might have downloaded that compressed file for a different project.

If it is significantly cheaper to check whether the correct decompressed version is already there than it is to decompress a file, then we could consider doing that.