--- a/src/Pure/System/linux.scala Tue Nov 05 17:32:40 2019 +0100
+++ b/src/Pure/System/linux.scala Tue Nov 05 20:47:15 2019 +0100
@@ -114,6 +114,9 @@
def service_stop(name: String): Unit =
Isabelle_System.bash("systemctl stop " + Bash.string(name)).check
+ def service_restart(name: String): Unit =
+ Isabelle_System.bash("systemctl restart " + Bash.string(name)).check
+
def service_install(name: String, spec: String)
{
val service_file = Path.explode("/lib/systemd/system") + Path.basic(name).ext("service")