Decompressing objects.inv

[Ron Stone]

Hello,

I am building a set of sphinx projects within a tox test harness. There are certain circumstances in which I need to download an objects.ini file and from a partner site and read it via a shell script. At the time I need do this, tox has not yet been run on the local build that relies on information from this remote objects.ini, so sphinx has not been installed to tox's python env. For this reason, I run a limited tox job that loads python+sphinx into the environment so that I can run without running a build. This allows me to read the results of the following into an array:

python -msphinx.ext.intersphinx https://docs.python.org/3/objects.inv

This takes about ~3min on each run.

I understand that objects.inv is compressed using libzip.

My questions:

1. Are the uncompressed contents clear test? 
2. If so, is there a way to uncompress objects.inv from a linux command line?

Being able to do this would avoid the expense of setting up the tox environment each time tox job is run from a fresh repo clone.

Thanks.

[Komiya Takeshi]

Hi,

> Are the uncompressed contents clear test?
>If so, is there a way to uncompress objects.inv from a linux command line?

Unfortunately, an object.inv is not a pure zip file. So there are no
tools to decompress it on standard Linux commands, AFAIK.

Thanks,
Takeshi KOMIYA

2021年2月22日(月) 22:16 Ron Stone <ronsto...@gmail.com>:

> --
> You received this message because you are subscribed to the Google Groups "sphinx-dev" group.
> To unsubscribe from this group and stop receiving emails from it, send an email to sphinx-dev+...@googlegroups.com.
> To view this discussion on the web, visit https://groups.google.com/d/msgid/sphinx-dev/2accd40d-949a-49f3-9780-8aa70432b3ean%40googlegroups.com.

[Charles Bouchard-Légaré]

You can try the "sphobjinv" python package and it provides a command line interface

To view this discussion on the web, visit https://groups.google.com/d/msgid/sphinx-dev/CAFmkQAM48z3_ikhv_W800TQxwwkPTSMaa6pPv8qvQV5jbtdg1g%40mail.gmail.com.