From cfdbc7a45b75e019b83b2dbf631813a33427a8fe Mon Sep 17 00:00:00 2001
From: Ewan Mellor <commits@ewanmellor.org>
Date: Sun, 25 Dec 2022 13:48:12 -0800
Subject: [PATCH] Fix install.sh to run when there is no terminal (e.g. on CI).

---
 install.sh | 7 +++++--
 1 file changed, 5 insertions(+), 2 deletions(-)

diff --git a/install.sh b/install.sh
index b4453a1..7824bf7 100755
--- a/install.sh
+++ b/install.sh
@@ -2,8 +2,11 @@
 
 set -euo pipefail
 
-cols=$(tput cols)
-
+cols=80
+if [ -n "$TERM" ]
+then
+  cols=$(tput cols)
+fi
 
 readlink_f() {
   if [ $(uname) = 'Darwin' ]