Fix install.sh to run when there is no terminal (e.g. on CI).

2022-12-25 13:48:12 -08:00
parent 20d256910b
commit cfdbc7a45b
1 changed files with 5 additions and 2 deletions
--- 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' ]