From 2b7acee45ee3b81eae40fc5b9351d7ee32941cbb Mon Sep 17 00:00:00 2001
From: Volker Schukai <volker.schukai@schukai.com>
Date: Sun, 17 Mar 2024 11:36:10 +0100
Subject: [PATCH] chore: lint code
---
devenv.nix | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/devenv.nix b/devenv.nix
index ddd75e069..893d2b701 100644
--- a/devenv.nix
+++ b/devenv.nix
@@ -92,7 +92,7 @@ in {
'';
scripts.build-and-publish.exec = ''
- set -x
+
if [ -t 1 ]; then
RED='\033[0;31m'
GREEN='\033[0;32m'
--
GitLab