changeset 76548 | 0af64cc2eee9 |
parent 76547 | 9fe5d8c70352 |
child 76626 | 117cb1c35564 |
--- a/src/Tools/VSCode/src/build_vscodium.scala Wed Nov 30 21:53:55 2022 +0100 +++ b/src/Tools/VSCode/src/build_vscodium.scala Wed Nov 30 22:07:59 2022 +0100 @@ -372,9 +372,7 @@ /* settings */ - File.write(component_dir.settings, - """# -*- shell-script -*- :mode=shellscript: - + component_dir.write_settings(""" ISABELLE_VSCODIUM_HOME="$COMPONENT/${ISABELLE_WINDOWS_PLATFORM64:-$ISABELLE_PLATFORM64}" if [ "$ISABELLE_PLATFORM_FAMILY" = "macos" ]; then