Skip to content

Standalone version of 7z#3

Open
leojoubert wants to merge 1 commit into
mediawiki-utilities:masterfrom
leojoubert:master
Open

Standalone version of 7z#3
leojoubert wants to merge 1 commit into
mediawiki-utilities:masterfrom
leojoubert:master

Conversation

@leojoubert
Copy link
Copy Markdown

7za is more widely handled than 7z, this seems quite important when acess to package install is not available (eg. distant server)

7za is more widely handled than 7z, this seems quite important when acess to package install is not available (eg. distant server)
@groceryheist
Copy link
Copy Markdown

This seems reasonable to me. What do you think @halfak?

@halfak
Copy link
Copy Markdown
Member

halfak commented Jan 3, 2020

hey folks. I didn't catch this one when it originally came by. I think the best solution is to just create an alias for 7z. I'm honestly not clear on why 7za/7zr/etc. don't just do that by default.

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 this pull request may close these issues.

3 participants