does anybody know off-hand how to make the ubuntu archive manager treat ".pex" files as ".zip"? it complains that the "archive format is not supported"

Are you creating the files via Pants or directly via PEX? With Pex, you can set

-o

to whatever you want iiuc, e.g.

pex req1 -o result.zip

With Pants, you could set the

output_path

field on your

pex_binary

targets to use

.zip

instead of

.pex

it's more for documenting debugging steps for other developers, such as "you built a pex that isn't working like you expect, how do you investigate"

Are these users able to use a command line? The unzip and zipinfo tools are my gotos.

yeah, and i use those, but sometimes i want to reach for a GUI tool... anyways this isn't really a pex or pants-specific issue, i was just seeing if you all have had any similar use cases and to see what your workarounds might be

Generically you want to use the xdg family of tools to associate an extension with a mime type. I haven't done this in a long time. IIRC there is a right-click open-with like thing you can engage in nautilus (the file manager) to also generically setup opener associations, but this time via gui.

i have the extension associated with that program, it's just that that program "Archive Manager" appears to be hardcoded to get archive types from filenames; i'll just install another gui tool