diff --git a/units/emergency.service b/units/emergency.service index 83b7d72b7..8745d101c 100644 --- a/units/emergency.service +++ b/units/emergency.service @@ -17,3 +17,7 @@ StandardInput=tty Restart=restart-always RestartSec=0 KillMode=process-group + +# Bash ignores SIGTERM, so we send SIGHUP first, to ensure that bash +# terminates cleanly. +ExecStop=/bin/kill -HUP $(MAINPID)