--- 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)
}