From 76235ba7c03e6b69402175410f92ed0f097369ca Mon Sep 17 00:00:00 2001
From: Moritz Angermann <moritz.angermann@gmail.com>
Date: Thu, 26 Feb 2026 16:39:13 +0900
Subject: [PATCH] Set TERM=dumb fallback in devx env script for CI/container
 environments

GHC's Makefile unconditionally calls `tput bold` and `tput sgr0`
(lines 217-218) which fail with "No value for $TERM and no -T
specified" when TERM is unset. This happens in CI runners and
containers where no terminal is attached.

Set TERM to "dumb" as a fallback after sourcing setup.sh so ncurses
tools like tput degrade gracefully instead of erroring.
---
 flake.nix | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/flake.nix b/flake.nix
index ae1b4b46..13a910ac 100644
--- a/flake.nix
+++ b/flake.nix
@@ -383,6 +383,10 @@
                   [ -n "$_DEVX_HOME" ] && export HOME="$_DEVX_HOME"
                   unset _DEVX_HOME
 
+                  # Set TERM=dumb if not already set so tput and other
+                  # ncurses tools don't fail in CI/container environments.
+                  export TERM="''${TERM:-dumb}"
+
                   # Shell hook from mkShell
                   ${shellHook}