equal
deleted
inserted
replaced
31 } |
31 } |
32 """ |
32 """ |
33 |
33 |
34 def vscode_setup(): Unit = |
34 def vscode_setup(): Unit = |
35 { |
35 { |
36 if (Isabelle_System.getenv("ISABELLE_VSCODIUM_HOME").isEmpty) { |
36 if (Isabelle_System.getenv("ISABELLE_VSCODIUM_ELECTRON").isEmpty) { |
37 error("""Missing $ISABELLE_VSCODIUM_HOME: proper vscodium-X.YY.Z component required""") |
37 error("""Undefined $ISABELLE_VSCODIUM_ELECTRON: missing "vscodium" component""") |
38 } |
38 } |
39 |
39 |
40 if (!vscode_settings_user.is_file) { |
40 if (!vscode_settings_user.is_file) { |
41 Isabelle_System.make_directory(vscode_settings_user.dir) |
41 Isabelle_System.make_directory(vscode_settings_user.dir) |
42 File.write(vscode_settings_user, init_settings) |
42 File.write(vscode_settings_user, init_settings) |