# HG changeset patch
# User wenzelm
# Date 1674581180 -3600
# Node ID a709945b6c7198b0ce5db70cbaadafa8f4d0a46d
# Parent  c2e8ba15a10ae3c197717c194ff3167a2cca1009
tuned;

diff -r c2e8ba15a10a -r a709945b6c71 src/Pure/Admin/other_isabelle.scala
--- a/src/Pure/Admin/other_isabelle.scala	Tue Jan 24 17:28:30 2023 +0100
+++ b/src/Pure/Admin/other_isabelle.scala	Tue Jan 24 18:26:20 2023 +0100
@@ -110,15 +110,14 @@
     else false
 
   def init_settings(settings: List[String]): Unit = {
-    if (!clean_settings()) {
-      error("Cannot proceed with existing user settings file: " + etc_settings)
+    if (clean_settings()) {
+      Isabelle_System.make_directory(etc_settings.dir)
+      File.write(etc_settings,
+        "# generated by Isabelle " + Date.now() + "\n" +
+        "#-*- shell-script -*- :mode=shellscript:\n" +
+        settings.mkString("\n", "\n", "\n"))
     }
-
-    Isabelle_System.make_directory(etc_settings.dir)
-    File.write(etc_settings,
-      "# generated by Isabelle " + Date.now() + "\n" +
-      "#-*- shell-script -*- :mode=shellscript:\n" +
-      settings.mkString("\n", "\n", "\n"))
+    else error("Cannot proceed with existing user settings file: " + etc_settings)
   }