Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Support other extension files, .ear .war #20

Open
sdykae opened this issue Mar 1, 2022 · 3 comments · May be fixed by #23
Open

Support other extension files, .ear .war #20

sdykae opened this issue Mar 1, 2022 · 3 comments · May be fixed by #23

Comments

@sdykae
Copy link

sdykae commented Mar 1, 2022

title

@lapo-luchini
Copy link

Or maybe just add configurable extensions via config.

@sdykae sdykae linked a pull request Aug 6, 2022 that will close this issue
@sdykae
Copy link
Author

sdykae commented Aug 18, 2022

@stef-levesque

@pgalbraith
Copy link

pgalbraith commented Mar 15, 2023

There are innumerable file types that are glorified zip files, is there not some binary magic number that can reliably identify a zip file regardless of extension? Even a right click option to force the extension to treat a specific file as zip would be very nice.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging a pull request may close this issue.

3 participants