From d18f54e7f6b3616ea8360c8371cb0d24378c02a1 Mon Sep 17 00:00:00 2001
From: dgelessus <dgelessus@users.noreply.github.com>
Date: Thu, 9 Nov 2023 16:43:22 +0100
Subject: [PATCH] Set NO_COLOR=1 for probcli to make error log more readable
---
de.prob.core/src/de/prob/cli/CliStarter.java | 1 +
1 file changed, 1 insertion(+)
diff --git a/de.prob.core/src/de/prob/cli/CliStarter.java b/de.prob.core/src/de/prob/cli/CliStarter.java
index 1833f8be..e11c7c9b 100644
--- a/de.prob.core/src/de/prob/cli/CliStarter.java
+++ b/de.prob.core/src/de/prob/cli/CliStarter.java
@@ -123,6 +123,7 @@ public final class CliStarter {
final ProcessBuilder pb = new ProcessBuilder();
pb.command(command);
+ pb.environment().put("NO_COLOR", "1");
pb.environment().put("PROB_HOME", osPath);
try {
prologProcess = pb.start();
--
GitLab