diff -r 9fe5d8c70352 -r 0af64cc2eee9 src/Pure/Tools/dotnet_setup.scala
--- a/src/Pure/Tools/dotnet_setup.scala	Wed Nov 30 21:53:55 2022 +0100
+++ b/src/Pure/Tools/dotnet_setup.scala	Wed Nov 30 22:07:59 2022 +0100
@@ -83,8 +83,7 @@
         progress.echo("Component " + component_dir)
         Isabelle_System.make_directory(component_dir.etc)
 
-        File.write(component_dir.settings, """# -*- shell-script -*- :mode=shellscript:
-
+        component_dir.write_settings("""
 ISABELLE_DOTNET_ROOT="$COMPONENT"
 
 if [ -n "$ISABELLE_WINDOWS_PLATFORM64" -a -d "$ISABELLE_DOTNET_ROOT/$ISABELLE_WINDOWS_PLATFORM64" ]; then