From 6dc1ea63415d3e978881921f0248bb14e21e68cc Mon Sep 17 00:00:00 2001
From: Petar Kirov <petar.p.kirov@gmail.com>
Date: Sun, 23 Jul 2023 13:58:42 +0300
Subject: [PATCH] improve(scripts/ci.sh): Use `nom` when tty is available

Prettier output when building locally, no changes when building in CI.
---
 scripts/ci.sh | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/scripts/ci.sh b/scripts/ci.sh
index 292ed5ec..eedc7a4f 100755
--- a/scripts/ci.sh
+++ b/scripts/ci.sh
@@ -7,6 +7,8 @@ error() {
     exit 1
 }
 
+nix="$(if tty -s; then echo nom; else echo nix; fi)"
+
 get_platform() {
   case "$(uname -s).$(uname -m)" in
     Linux.x86_64)
@@ -40,4 +42,4 @@ system="$(get_platform)"
 
 set -x
 nix flake check
-nix build --json --print-build-logs ".#devShells.$system.default"
+$nix build --json --print-build-logs ".#devShells.$system.default"