Colors and structured logging for push

1 files changed, 7 insertions, 5 deletions

diff --git a/Biz/Bild/ShellHook.sh b/Biz/Bild/ShellHook.sh
index 85694ec..19720aa 100644
--- a/Biz/Bild/ShellHook.sh
+++ b/Biz/Bild/ShellHook.sh
@@ -13,6 +13,12 @@ function help() {
   echo "   ship   lint, bild, and push one (or all) namespace(s)"
 }
 
+# color codes for use with printf
+RED='\033[0;31m'
+GRN='\033[0;32m'
+YEL='\033[0;33m'
+NC='\033[0m' # No Color
+
 alias runghc="runghc --ghc-arg=-i$BIZ_ROOT"
 
 alias tree="tree -I _"
@@ -52,7 +58,6 @@ function push() {
   else
     target="$prefix.$1"
   fi
-  echo "push: $target"
   what=$(realpath "$BIZ_ROOT/_/bild/nix/$target")
   # hack: get the domain from the activation script. there does not seem
   # to be a way to get it from nix-instantiate
@@ -60,6 +65,7 @@ function push() {
   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}"
 }
 
 # TODO: convert to haskell
@@ -91,10 +97,6 @@ function run-sentry() {
     https://bsima.me
     https://herocomics.app
   )
-  RED='\033[0;31m'
-  GRN='\033[0;32m'
-  YEL='\033[0;33m'
-  NC='\033[0m' # No Color
   for url in ${urls[@]}
   do
     code=$(curl -L --max-time 10 --silent --show-error --insecure \