Skip to content

Commit

Permalink
improve(scripts/ci.sh): Use nom when tty is available
Browse files Browse the repository at this point in the history
Prettier output when building locally, no changes when building in CI.
  • Loading branch information
PetarKirov committed Jul 23, 2023
1 parent 0dce719 commit 6dc1ea6
Showing 1 changed file with 3 additions and 1 deletion.
4 changes: 3 additions & 1 deletion scripts/ci.sh
Original file line number Diff line number Diff line change
Expand Up @@ -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)
Expand Down Expand Up @@ -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"

0 comments on commit 6dc1ea6

Please sign in to comment.