From ad02b2b02da71f0a71c9dcc8bd595afec8e4bee7 Mon Sep 17 00:00:00 2001
From: Ben Sima <ben@bsima.me>
Date: Tue, 3 Jan 2023 14:13:35 -0500
Subject: Add nl to push logging output

---
 Biz/Ide/push | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Biz/Ide/push b/Biz/Ide/push
index 7ace897..c4bfb72 100755
--- a/Biz/Ide/push
+++ b/Biz/Ide/push
@@ -16,4 +16,4 @@ where=$(rg -r '$2' -e '(domainname ")(.*)(")' "$what/activate")
 nix copy --to ssh://root@$where $what
 ssh root@$where $what/bin/switch-to-configuration switch
 ssh root@$where nix-env --profile /nix/var/nix/profiles/system --set $what
-printf "${GRN}good:  push:  $target${NC}"
+printf "${GRN}good:  push:  $target${NC}\n"
-- 
cgit v1.2.3