Stream: Mirror: Isabelle Users Mailing List

Topic: [isabelle] Isabelle2025-RC2 on windows (the extracting is...

Email Gateway (Feb 16 2025 at 22:05):

From: Stepan Holub <cl-isabelle-users@lists.cam.ac.uk>
I am familiar with this issue (extracting is aborted when clicking on
the folder icon). It happened in several previous releases (perhaps all,
as far as I can remember). The solution has been always easy and the
same: editing the path manually and clicking "Yes".

Stepan

On 16-Feb-25 7:44 PM, mo.roos (via cl-isabelle-users Mailing List) wrote:

It just starts extracting at the path written in the textbox - in the
past (i think i already had this problem for Isabelle 2024) i have
simply typed the path in manually.
I recorded a small video showing the extracting beginning. After the
extraction finished, Isabelle/jEdit starts itself automatically.

https://we.tl/t-D1krs7aaGF
-Moritz
*Gesendet: *Sonntag, 16. Februar 2025 um 19:02
*Von: *Makarius <makarius@sketis.net>
*An: *mo.roos@gmx.de, cl-isabelle-users@lists.cam.ac.uk
*Betreff: *Re: [isabelle] Isabelle2025-RC2 on windows
On 16/02/2025 16:52, mo.roos (via cl-isabelle-users Mailing List) wrote:

To 1:
Under the following link you can see a video of me reproducing the
problem.
https://we.tl/t-TD2ilBBEOR <https://we.tl/t-TD2ilBBEOR>
The link will only work for a week from now.
Let me know if i should share it some other way, i didn't want to
litter
potenitally limited inboxes with videos.

The computer shown runs
Windows 10 Pro
Windows 11 Home

I have both Windows 10 and 11 as test machines. The download and click
sequence to convince Windows to execute the self-extracting 7z archive
are
exactly the same for me. Only in the very end I usually say "Yes"
instead of
clicking on the Folder Icon, where your dialog vanishes. Doing that on my
side, I get another dialog to select a Folder.

What happens when you select "Yes"?

Makarius

Email Gateway (Feb 18 2025 at 21:17):

From: Makarius <makarius@sketis.net>
On 16/02/2025 23:05, Stepan Holub (via cl-isabelle-users Mailing List) wrote:

I am familiar with this issue (extracting is aborted when clicking on the
folder icon). It happened in several previous releases (perhaps all, as far as
I can remember). The solution has been always easy and the same: editing the
path manually and clicking "Yes".

I have now spent 2-3h of research concerning self-extraction modules for 7zip.

The regular 7zip SDK https://7-zip.org/sdk.html has 7zSD.sfx to do the job in
principle, but I failed to make it work on the spot. Several years ago I had
dismissed it in favour of 7zsfxmm:

https://github.com/chrislake/7zsfxmm

The latter was last active in 2019, and now refers to the even older /
inactive project:

https://github.com/datadiode/7zsfxmm

Makarius

Last updated: Mar 09 2025 at 12:28 UTC