# HG changeset patch
# User wenzelm
# Date 1738605343 -3600
# Node ID 7a5d8adbbf0aa232875803f82047d7d922fa7897
# Parent  bb1be1eeaaabba4794af4d9d7469081f874a1125
more robust: avoid expand_path, which requires "bin/isabelle getenv";
more concise: just one ssh command;
more thorough: delete etc/preferences as well;

diff -r bb1be1eeaaab -r 7a5d8adbbf0a src/Pure/System/other_isabelle.scala
--- a/src/Pure/System/other_isabelle.scala	Mon Feb 03 14:41:50 2025 +0100
+++ b/src/Pure/System/other_isabelle.scala	Mon Feb 03 18:55:43 2025 +0100
@@ -75,6 +75,8 @@
 
   val isabelle_home_user: Path = expand_path(Path.explode("$ISABELLE_HOME_USER"))
 
+  def host_db: Path = isabelle_home_user + Path.explode("host.db")
+
   def etc: Path = isabelle_home_user + Path.explode("etc")
   def etc_settings: Path = etc + Path.explode("settings")
   def etc_preferences: Path = etc + Path.explode("preferences")
@@ -185,9 +187,6 @@
 
   /* cleanup */
 
-  def cleanup(): Unit = {
-    clean_settings()
-    ssh.delete(expand_path(Host.private_data.database))
-    ssh.delete(etc, isabelle_home_user)
-  }
+  def cleanup(): Unit =
+    ssh.delete(host_db, etc_settings, etc_preferences, etc)
 }