--- a/src/Pure/System/linux.scala Wed Nov 13 13:28:58 2019 +0100
+++ b/src/Pure/System/linux.scala Wed Nov 13 16:50:48 2019 +0100
@@ -128,6 +128,6 @@
Isabelle_System.bash("chmod 0644 " + File.bash_path(service_file)).check
service_enable(name)
- service_start(name)
+ service_restart(name)
}
}