# HG changeset patch
# User wenzelm
# Date 1674502066 -3600
# Node ID 44f79689115dc77525a91d73b4cf5c8b69f08770
# Parent  e233054dcb00562b2205ba3027e6ff34acb02945
more elementary command-line, following lib/Tools/components;

diff -r e233054dcb00 -r 44f79689115d src/Pure/System/components.scala
--- a/src/Pure/System/components.scala	Mon Jan 23 20:23:48 2023 +0100
+++ b/src/Pure/System/components.scala	Mon Jan 23 20:27:46 2023 +0100
@@ -51,7 +51,8 @@
   def unpack(dir: Path, archive: Path, progress: Progress = new Progress): String = {
     val name = Archive.get_name(archive.file_name)
     progress.echo("Unpacking " + name)
-    Isabelle_System.extract(archive, dir)
+    Isabelle_System.bash(
+      "tar -C " + File.bash_path(dir) + " -x -z -f " + File.bash_path(archive)).check
     name
   }