src/Pure/Tools/phabricator.scala

--- a/src/Pure/Tools/phabricator.scala	Fri Feb 24 20:40:50 2023 +0100
+++ b/src/Pure/Tools/phabricator.scala	Fri Feb 24 20:52:35 2023 +0100
@@ -81,7 +81,7 @@
     body: String = "",
     exit: String = ""): String = {
 """#!/bin/bash
-""" + (if (init.nonEmpty) "\n" + init else "") + """
+""" + if_proper(init, "\n" + init) + """
 {
   while { unset REPLY; read -r; test "$?" = 0 -o -n "$REPLY"; }
   do
@@ -92,7 +92,7 @@
     } < /dev/null
   done
 } < """ + File.bash_path(global_config) + "\n" +
-    (if (exit.nonEmpty) "\n" + exit + "\n" else "")
+    if_proper(exit, "\n" + exit + "\n")
   }
 
   sealed case class Config(name: String, root: Path) {