# HG changeset patch
# User wenzelm
# Date 1670786860 -3600
# Node ID 117cb1c35564bf00434a35a5ad9c4ff0af34eaee
# Parent  3bacdff9e24f69bc7d47dbbcb8a3ca6b1ba417b1
proper file extension for Isabelle_System.extract;

diff -r 3bacdff9e24f -r 117cb1c35564 src/Tools/VSCode/src/build_vscodium.scala
--- a/src/Tools/VSCode/src/build_vscodium.scala	Sun Dec 11 19:34:51 2022 +0100
+++ b/src/Tools/VSCode/src/build_vscodium.scala	Sun Dec 11 20:27:40 2022 +0100
@@ -66,9 +66,10 @@
     def is_linux: Boolean = platform == Platform.Family.linux
 
     def download_name: String = "VSCodium-" + download_template.replace("{VERSION}", version)
+    def download_ext: String = if (download_template.endsWith(".zip")) "zip" else "tar.gz"
 
     def download(dir: Path, progress: Progress = new Progress): Unit = {
-      Isabelle_System.with_tmp_file("download") { download_file =>
+      Isabelle_System.with_tmp_file("download", ext = download_ext) { download_file =>
         Isabelle_System.download_file(vscodium_download + "/" + version + "/" + download_name,
           download_file, progress = progress)