https://pantsbuild.org/ logo
#pex
Title
# pex
f

flat-zoo-31952

01/18/2021, 4:08 PM
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"
i don't love my workaround of "hard link it to `${pex_file_name}.zip`"
h

hundreds-father-404

01/18/2021, 4:57 PM
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
f

flat-zoo-31952

01/18/2021, 6:14 PM
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"
i think i'll just look for an alternative to archive manager that isn't hardcoded to associate extensions with format types
e

enough-analyst-54434

01/18/2021, 6:29 PM
Are these users able to use a command line? The unzip and zipinfo tools are my gotos.
👍 1
They do not care about extensions.
f

flat-zoo-31952

01/18/2021, 6:33 PM
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
e

enough-analyst-54434

01/18/2021, 6:35 PM
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.
f

flat-zoo-31952

01/18/2021, 6:42 PM
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