more robust InstallPath (amending 4ce07be8ba17): self-directory may be odd temp dir produced by browser "Run" operation; Isabelle2019-RC3

Fri, 24 May 2019 21:14:02 +0200

author
wenzelm
date
Fri, 24 May 2019 21:14:02 +0200
changeset 70276
85de4fdec61b
parent 70275
2e101846ad8f
child 70277
0cfc4fa71d1b

more robust InstallPath (amending 4ce07be8ba17): self-directory may be odd temp dir produced by browser "Run" operation;

Admin/Windows/Installer/sfx.txt file | annotate | diff | comparison | revisions
--- a/Admin/Windows/Installer/sfx.txt	Fri May 24 20:16:35 2019 +0200
+++ b/Admin/Windows/Installer/sfx.txt	Fri May 24 21:14:02 2019 +0200
@@ -1,6 +1,6 @@
 ;!@Install@!UTF-8!
 GUIFlags="64"
-InstallPath="%%S"
+InstallPath="%UserDesktop%"
 BeginPrompt="Unpack {ISABELLE_NAME}?"
 ExtractPathText="Target directory"
 ExtractTitle="Unpacking {ISABELLE_NAME} ..."

mercurial