How to set 7Zip as the default application to open certain compressed files type via script? November 27, 2022March 26, 2023