diff --git a/CHANGELOG.md b/CHANGELOG.md
index a3bfb4200..afd714182 100644
--- a/CHANGELOG.md
+++ b/CHANGELOG.md
@@ -5,10 +5,10 @@ Command-line options changes:
 
 * Added `--color` and `--no-color` options for colored terminal output.
   Color is enabled by default.
-* Added `--consolewidth <auto|n>` option for printing margins. By default the
+* Added `--console-width <auto|n>` option for printing margins.  By default the
   `auto` option is selected, the result is that the compiler detects the current
   terminal width and sets it as the option value, otherwise a user value can be
-  provided. An explicit `0` has the effect of simulating a terminal with
+  provided.  An explicit `0` has the effect of simulating a terminal with
   unbounded width.
 
 Compiler changes:
@@ -19,7 +19,8 @@ Compiler changes:
 REPL/IDE mode changes:
 
 * Added `:color (on|off)` option for colored terminal output.
-* Added `:consolewidth (auto|n)` option for printing margins. Mirrors the command line option.
+* Added `:consolewidth (auto|n)` option for printing margins.  Mirrors the
+  command line option.
 
 Changes since Idris 2 v0.2.0
 ----------------------------
diff --git a/src/Idris/CommandLine.idr b/src/Idris/CommandLine.idr
index 594be5902..7a3160115 100644
--- a/src/Idris/CommandLine.idr
+++ b/src/Idris/CommandLine.idr
@@ -220,7 +220,7 @@ options = [MkOpt ["--check", "-c"] [] [CheckOnly]
               (Just "Suppress the banner"),
            MkOpt ["--quiet", "-q"] [] [Quiet]
               (Just "Quiet mode; display fewer messages"),
-           MkOpt ["--consolewidth"] [AutoNat "console width"] (\l => [ConsoleWidth l])
+           MkOpt ["--console-width"] [AutoNat "console width"] (\l => [ConsoleWidth l])
               (Just "Width for console output (0 for unbounded) (auto by default)"),
            MkOpt ["--color", "--colour"] [] ([Color True])
               (Just "Forces colored console output (enabled by default)"),
diff --git a/tests/chez/chez001/run b/tests/chez/chez001/run
index c119db411..09d88e0cc 100755
--- a/tests/chez/chez001/run
+++ b/tests/chez/chez001/run
@@ -1,3 +1,3 @@
-$1 --no-color --consolewidth 0 --no-banner Total.idr < input
+$1 --no-color --console-width 0 --no-banner Total.idr < input
 
 rm -rf build
diff --git a/tests/chez/chez002/run b/tests/chez/chez002/run
index 573c61942..c9274be05 100755
--- a/tests/chez/chez002/run
+++ b/tests/chez/chez002/run
@@ -1,2 +1,2 @@
-$1 --no-color --consolewidth 0 --no-banner Pythag.idr < input
+$1 --no-color --console-width 0 --no-banner Pythag.idr < input
 rm -rf build
diff --git a/tests/chez/chez003/run b/tests/chez/chez003/run
index e05d6c6b8..4feb8c34d 100755
--- a/tests/chez/chez003/run
+++ b/tests/chez/chez003/run
@@ -1,2 +1,2 @@
-$1 --no-color --consolewidth 0 --no-banner IORef.idr < input
+$1 --no-color --console-width 0 --no-banner IORef.idr < input
 rm -rf build
diff --git a/tests/chez/chez004/run b/tests/chez/chez004/run
index 0bd2952ce..7550be3a4 100755
--- a/tests/chez/chez004/run
+++ b/tests/chez/chez004/run
@@ -1,2 +1,2 @@
-$1 --no-color --consolewidth 0 -p contrib --no-banner Buffer.idr < input
+$1 --no-color --console-width 0 -p contrib --no-banner Buffer.idr < input
 rm -rf build test.buf
diff --git a/tests/chez/chez005/run b/tests/chez/chez005/run
index 035c6defc..7c5ed98ab 100755
--- a/tests/chez/chez005/run
+++ b/tests/chez/chez005/run
@@ -1,3 +1,3 @@
-$1 --no-color --consolewidth 0 --no-banner Filter.idr < input
+$1 --no-color --console-width 0 --no-banner Filter.idr < input
 
 rm -rf build
diff --git a/tests/chez/chez006/run b/tests/chez/chez006/run
index 44dd4b02b..a3cb5eba2 100755
--- a/tests/chez/chez006/run
+++ b/tests/chez/chez006/run
@@ -1,4 +1,4 @@
-$1 --no-color --consolewidth 0 --no-banner TypeCase.idr < input
-$1 --no-color --consolewidth 0 --no-banner TypeCase2.idr --check
+$1 --no-color --console-width 0 --no-banner TypeCase.idr < input
+$1 --no-color --console-width 0 --no-banner TypeCase2.idr --check
 
 rm -rf build
diff --git a/tests/chez/chez007/run b/tests/chez/chez007/run
index f7c6283e8..f0f9db205 100755
--- a/tests/chez/chez007/run
+++ b/tests/chez/chez007/run
@@ -1,3 +1,3 @@
-$1 --no-color --consolewidth 0 --no-banner TypeCase.idr < input
+$1 --no-color --console-width 0 --no-banner TypeCase.idr < input
 
 rm -rf build
diff --git a/tests/chez/chez008/run b/tests/chez/chez008/run
index 30918d21d..72ed7b7e5 100755
--- a/tests/chez/chez008/run
+++ b/tests/chez/chez008/run
@@ -1,3 +1,3 @@
-$1 --no-color --consolewidth 0 --no-banner Nat.idr < input
+$1 --no-color --console-width 0 --no-banner Nat.idr < input
 
 rm -rf build
diff --git a/tests/chez/chez009/run b/tests/chez/chez009/run
index 6a0c3da6b..a7392c1a3 100755
--- a/tests/chez/chez009/run
+++ b/tests/chez/chez009/run
@@ -1,3 +1,3 @@
-$1 --no-color --consolewidth 0 --no-banner uni.idr < input
+$1 --no-color --console-width 0 --no-banner uni.idr < input
 
 rm -rf build
diff --git a/tests/chez/chez010/run b/tests/chez/chez010/run
index 41205ac46..0cf8860b2 100755
--- a/tests/chez/chez010/run
+++ b/tests/chez/chez010/run
@@ -9,6 +9,6 @@ case `uname -s` in
 esac
 
 ${MAKE} all > /dev/null
-$1 --no-color --consolewidth 0 --no-banner CB.idr < input
+$1 --no-color --console-width 0 --no-banner CB.idr < input
 rm -rf build
 ${MAKE} clean > /dev/null
diff --git a/tests/chez/chez011/run b/tests/chez/chez011/run
index 67eefba8f..b3c76a11f 100644
--- a/tests/chez/chez011/run
+++ b/tests/chez/chez011/run
@@ -1,3 +1,3 @@
-$1 --no-color --consolewidth 0 --no-banner bangs.idr < input
+$1 --no-color --console-width 0 --no-banner bangs.idr < input
 
 rm -rf build
diff --git a/tests/chez/chez012/run b/tests/chez/chez012/run
index 84cf0b026..7d78b793b 100755
--- a/tests/chez/chez012/run
+++ b/tests/chez/chez012/run
@@ -1,2 +1,2 @@
-$1 --no-color --consolewidth 0 --no-banner array.idr < input
+$1 --no-color --console-width 0 --no-banner array.idr < input
 rm -rf build
diff --git a/tests/chez/chez013/run b/tests/chez/chez013/run
index 7f0394821..e8cd032a7 100755
--- a/tests/chez/chez013/run
+++ b/tests/chez/chez013/run
@@ -9,6 +9,6 @@ case `uname -s` in
 esac
 
 ${MAKE} all > /dev/null
-$1 --no-color --consolewidth 0 --no-banner Struct.idr < input
+$1 --no-color --console-width 0 --no-banner Struct.idr < input
 rm -rf build
 ${MAKE} clean > /dev/null
diff --git a/tests/chez/chez014/run b/tests/chez/chez014/run
index 51f53b220..2c94125ad 100755
--- a/tests/chez/chez014/run
+++ b/tests/chez/chez014/run
@@ -1,3 +1,3 @@
-$1 --no-color --consolewidth 0 --no-banner -p network Echo.idr < input
+$1 --no-color --console-width 0 --no-banner -p network Echo.idr < input
 
 rm -rf build
diff --git a/tests/chez/chez015/run b/tests/chez/chez015/run
index 9609cc664..091d2ce7f 100755
--- a/tests/chez/chez015/run
+++ b/tests/chez/chez015/run
@@ -1,3 +1,3 @@
-$1 --no-color --consolewidth 0 --no-banner Numbers.idr < input
+$1 --no-color --console-width 0 --no-banner Numbers.idr < input
 
 rm -rf build
diff --git a/tests/chez/chez016/run b/tests/chez/chez016/run
index a9853ae0e..1b42d8a6f 100755
--- a/tests/chez/chez016/run
+++ b/tests/chez/chez016/run
@@ -16,5 +16,5 @@ IDRIS2_EXEC="$(basename "$1")"
 
 cd "folder with spaces" || exit
 
-"$IDRIS2_DIR/$IDRIS2_EXEC" --no-color --consolewidth 0 --no-banner Main.idr < ../input
+"$IDRIS2_DIR/$IDRIS2_EXEC" --no-color --console-width 0 --no-banner Main.idr < ../input
 rm -rf build
diff --git a/tests/chez/chez017/run b/tests/chez/chez017/run
index 416a2dc07..9202a5e09 100755
--- a/tests/chez/chez017/run
+++ b/tests/chez/chez017/run
@@ -1,4 +1,4 @@
 ./gen_expected.sh
-$1 --no-color --consolewidth 0 --no-banner dir.idr < input
+$1 --no-color --console-width 0 --no-banner dir.idr < input
 cat testdir/test.txt
 rm -rf build testdir
diff --git a/tests/chez/chez018/run b/tests/chez/chez018/run
index da8181d36..a9c7b54e0 100755
--- a/tests/chez/chez018/run
+++ b/tests/chez/chez018/run
@@ -1,3 +1,3 @@
-$1 --no-color --consolewidth 0 --no-banner File.idr < input
+$1 --no-color --console-width 0 --no-banner File.idr < input
 
 rm -rf build testout.txt
diff --git a/tests/chez/chez019/run b/tests/chez/chez019/run
index 4c6375453..800a5a8fa 100755
--- a/tests/chez/chez019/run
+++ b/tests/chez/chez019/run
@@ -1,3 +1,3 @@
-$1 --no-color --consolewidth 0 --no-banner partial.idr < input
+$1 --no-color --console-width 0 --no-banner partial.idr < input
 
 rm -rf build testout.txt
diff --git a/tests/chez/chez020/run b/tests/chez/chez020/run
index 8fcd5200f..52de8fb61 100644
--- a/tests/chez/chez020/run
+++ b/tests/chez/chez020/run
@@ -1,3 +1,3 @@
-POPEN_CMD="$1 --version" $1 --no-color --consolewidth 0 --no-banner Popen.idr < input
+POPEN_CMD="$1 --version" $1 --no-color --console-width 0 --no-banner Popen.idr < input
 
 rm -rf build
diff --git a/tests/chez/chez021/run b/tests/chez/chez021/run
index ca6e9243d..d45b408e4 100644
--- a/tests/chez/chez021/run
+++ b/tests/chez/chez021/run
@@ -1,3 +1,3 @@
-$1 --no-color --consolewidth 0 --no-banner Bits.idr < input
+$1 --no-color --console-width 0 --no-banner Bits.idr < input
 
 rm -rf build
diff --git a/tests/chez/chez022/run b/tests/chez/chez022/run
index 883780aa2..34ce76ed6 100755
--- a/tests/chez/chez022/run
+++ b/tests/chez/chez022/run
@@ -9,6 +9,6 @@ case `uname -s` in
 esac
 
 ${MAKE} all > /dev/null
-$1 --no-color --consolewidth 0 --no-banner usealloc.idr < input
+$1 --no-color --console-width 0 --no-banner usealloc.idr < input
 rm -rf build
 ${MAKE} clean > /dev/null
diff --git a/tests/chez/chez023/run b/tests/chez/chez023/run
index 05f2f62bf..7af45eecb 100644
--- a/tests/chez/chez023/run
+++ b/tests/chez/chez023/run
@@ -1,3 +1,3 @@
-$1 --no-color --consolewidth 0 --no-banner File.idr < input
+$1 --no-color --console-width 0 --no-banner File.idr < input
 
 rm -rf build test.txt
diff --git a/tests/chez/chez024/run b/tests/chez/chez024/run
index c892daaca..89f2d6d3b 100644
--- a/tests/chez/chez024/run
+++ b/tests/chez/chez024/run
@@ -1,3 +1,3 @@
-$1 --no-color --consolewidth 0 --no-banner Envy.idr < input
+$1 --no-color --console-width 0 --no-banner Envy.idr < input
 
 rm -rf build
diff --git a/tests/chez/chez025/run b/tests/chez/chez025/run
index ecb15e076..ef35642e6 100755
--- a/tests/chez/chez025/run
+++ b/tests/chez/chez025/run
@@ -1,3 +1,3 @@
-$1 --no-color --consolewidth 0 --no-banner runst.idr < input
+$1 --no-color --console-width 0 --no-banner runst.idr < input
 
 rm -rf build
diff --git a/tests/chez/chez026/dummy.ipkg b/tests/chez/chez026/dummy.ipkg
index d515ec0d2..596d59c5a 100644
--- a/tests/chez/chez026/dummy.ipkg
+++ b/tests/chez/chez026/dummy.ipkg
@@ -10,7 +10,7 @@ modules = Dummy
 
 main = Dummy
 executable = check_dir
-opts = "--no-color --consolewidth 0"
+opts = "--no-color --console-width 0"
 
 builddir = "custom_build"
 outputdir = "custom_output"
diff --git a/tests/chez/chez027/run b/tests/chez/chez027/run
index 2d35300e1..824cd020e 100644
--- a/tests/chez/chez027/run
+++ b/tests/chez/chez027/run
@@ -1,3 +1,3 @@
-$1 --no-color --consolewidth 0 --no-banner -p contrib StringParser.idr < input
+$1 --no-color --console-width 0 --no-banner -p contrib StringParser.idr < input
 
 rm -rf build
diff --git a/tests/chez/chez028/run b/tests/chez/chez028/run
index 4ceee5173..f0319b71c 100644
--- a/tests/chez/chez028/run
+++ b/tests/chez/chez028/run
@@ -1,3 +1,3 @@
-$1 --no-banner --no-color --consolewidth 0 -p contrib ExpressionParser.idr < input
+$1 --no-banner --no-color --console-width 0 -p contrib ExpressionParser.idr < input
 
 rm -rf build
diff --git a/tests/chez/reg001/run b/tests/chez/reg001/run
index 8ea6cc929..16afc937a 100755
--- a/tests/chez/reg001/run
+++ b/tests/chez/reg001/run
@@ -1,3 +1,3 @@
-$1 --no-color --consolewidth 0 numbers.idr -x main
+$1 --no-color --console-width 0 numbers.idr -x main
 
 rm -rf build
diff --git a/tests/ideMode/ideMode001/run b/tests/ideMode/ideMode001/run
index a09723ea4..061aac2dc 100755
--- a/tests/ideMode/ideMode001/run
+++ b/tests/ideMode/ideMode001/run
@@ -1,3 +1,3 @@
-$1 --no-color --consolewidth 0 --ide-mode < input
+$1 --no-color --console-width 0 --ide-mode < input
 
 rm -rf build
diff --git a/tests/ideMode/ideMode002/run b/tests/ideMode/ideMode002/run
index e770ef009..91e6f464c 100755
--- a/tests/ideMode/ideMode002/run
+++ b/tests/ideMode/ideMode002/run
@@ -1,4 +1,4 @@
-$1 --no-color --consolewidth 0 --version | awk '{print $4}' | ./gen_expected.sh
-$1 --no-color --consolewidth 0 --ide-mode < input
+$1 --no-color --console-width 0 --version | awk '{print $4}' | ./gen_expected.sh
+$1 --no-color --console-width 0 --ide-mode < input
 
 rm -rf build
diff --git a/tests/ideMode/ideMode003/run b/tests/ideMode/ideMode003/run
index a09723ea4..061aac2dc 100755
--- a/tests/ideMode/ideMode003/run
+++ b/tests/ideMode/ideMode003/run
@@ -1,3 +1,3 @@
-$1 --no-color --consolewidth 0 --ide-mode < input
+$1 --no-color --console-width 0 --ide-mode < input
 
 rm -rf build
diff --git a/tests/idris2/api001/run b/tests/idris2/api001/run
index 007a6db90..c1b33b3d3 100644
--- a/tests/idris2/api001/run
+++ b/tests/idris2/api001/run
@@ -1,3 +1,3 @@
-$1 --no-color --consolewidth 0 --no-banner -p idris2 -p contrib -p network LazyCodegen.idr -o lazy-idris2 > /dev/null
-./build/exec/lazy-idris2 --no-color --consolewidth 0 --no-banner --cg lazy Hello.idr -o hello
+$1 --no-color --console-width 0 --no-banner -p idris2 -p contrib -p network LazyCodegen.idr -o lazy-idris2 > /dev/null
+./build/exec/lazy-idris2 --no-color --console-width 0 --no-banner --cg lazy Hello.idr -o hello
 rm -rf build
diff --git a/tests/idris2/basic001/run b/tests/idris2/basic001/run
index 0090b876f..fe1a0040c 100755
--- a/tests/idris2/basic001/run
+++ b/tests/idris2/basic001/run
@@ -1,3 +1,3 @@
-$1 --no-color --consolewidth 0 --no-banner --no-prelude Vect.idr < input
+$1 --no-color --console-width 0 --no-banner --no-prelude Vect.idr < input
 
 rm -rf build
diff --git a/tests/idris2/basic002/run b/tests/idris2/basic002/run
index 84e6c0111..7d50061f7 100755
--- a/tests/idris2/basic002/run
+++ b/tests/idris2/basic002/run
@@ -1,3 +1,3 @@
-$1 --no-color --consolewidth 0 --no-banner --no-prelude Do.idr < input
+$1 --no-color --console-width 0 --no-banner --no-prelude Do.idr < input
 
 rm -rf build
diff --git a/tests/idris2/basic003/run b/tests/idris2/basic003/run
index abafe2740..172e19c46 100755
--- a/tests/idris2/basic003/run
+++ b/tests/idris2/basic003/run
@@ -1,4 +1,4 @@
-echo ':q' | $1 --no-color --consolewidth 0 --no-banner --no-prelude Ambig1.idr
-echo ':q' | $1 --no-color --consolewidth 0 --no-banner --no-prelude Ambig2.idr
+echo ':q' | $1 --no-color --console-width 0 --no-banner --no-prelude Ambig1.idr
+echo ':q' | $1 --no-color --console-width 0 --no-banner --no-prelude Ambig2.idr
 
 rm -rf build
diff --git a/tests/idris2/basic004/run b/tests/idris2/basic004/run
index 251aa9675..36831bf61 100755
--- a/tests/idris2/basic004/run
+++ b/tests/idris2/basic004/run
@@ -1,3 +1,3 @@
-$1 --no-color --consolewidth 0 --no-banner --no-prelude Wheres.idr < input
+$1 --no-color --console-width 0 --no-banner --no-prelude Wheres.idr < input
 
 rm -rf build
diff --git a/tests/idris2/basic005/run b/tests/idris2/basic005/run
index 7da076943..74ec6436f 100755
--- a/tests/idris2/basic005/run
+++ b/tests/idris2/basic005/run
@@ -1,3 +1,3 @@
-echo ':q' | $1 --no-color --consolewidth 0 --no-banner --no-prelude NoInfer.idr
+echo ':q' | $1 --no-color --console-width 0 --no-banner --no-prelude NoInfer.idr
 
 rm -rf build
diff --git a/tests/idris2/basic006/run b/tests/idris2/basic006/run
index 56c3b19d1..c70911d7a 100755
--- a/tests/idris2/basic006/run
+++ b/tests/idris2/basic006/run
@@ -1,3 +1,3 @@
-$1 --no-color --consolewidth 0 --no-banner --no-prelude PMLet.idr < input
+$1 --no-color --console-width 0 --no-banner --no-prelude PMLet.idr < input
 
 rm -rf build
diff --git a/tests/idris2/basic007/run b/tests/idris2/basic007/run
index 4b45288e6..1fbe7a7d3 100755
--- a/tests/idris2/basic007/run
+++ b/tests/idris2/basic007/run
@@ -1,3 +1,3 @@
-$1 --no-color --consolewidth 0 --no-banner --no-prelude DoLocal.idr < input
+$1 --no-color --console-width 0 --no-banner --no-prelude DoLocal.idr < input
 
 rm -rf build
diff --git a/tests/idris2/basic008/run b/tests/idris2/basic008/run
index 3039cd226..0d2724dc3 100755
--- a/tests/idris2/basic008/run
+++ b/tests/idris2/basic008/run
@@ -1,3 +1,3 @@
-$1 --no-color --consolewidth 0 --no-banner --no-prelude If.idr < input
+$1 --no-color --console-width 0 --no-banner --no-prelude If.idr < input
 
 rm -rf build
diff --git a/tests/idris2/basic009/run b/tests/idris2/basic009/run
index 63f15ff60..0feceee57 100755
--- a/tests/idris2/basic009/run
+++ b/tests/idris2/basic009/run
@@ -1,3 +1,3 @@
-$1 --no-color --consolewidth 0 --no-banner --no-prelude LetCase.idr < input
+$1 --no-color --console-width 0 --no-banner --no-prelude LetCase.idr < input
 
 rm -rf build
diff --git a/tests/idris2/basic010/run b/tests/idris2/basic010/run
index 25a7ec617..81f428eb9 100755
--- a/tests/idris2/basic010/run
+++ b/tests/idris2/basic010/run
@@ -1,3 +1,3 @@
-$1 --no-color --consolewidth 0 --no-banner --no-prelude Comp.idr < input
+$1 --no-color --console-width 0 --no-banner --no-prelude Comp.idr < input
 
 rm -rf build
diff --git a/tests/idris2/basic011/run b/tests/idris2/basic011/run
index 001b57951..6300bbc90 100755
--- a/tests/idris2/basic011/run
+++ b/tests/idris2/basic011/run
@@ -1,5 +1,5 @@
-$1 --no-color --consolewidth 0 --check Dots1.idr
-$1 --no-color --consolewidth 0 --check Dots2.idr
-$1 --no-color --consolewidth 0 --check Dots3.idr
+$1 --no-color --console-width 0 --check Dots1.idr
+$1 --no-color --console-width 0 --check Dots2.idr
+$1 --no-color --console-width 0 --check Dots3.idr
 
 rm -rf build
diff --git a/tests/idris2/basic012/run b/tests/idris2/basic012/run
index 4c28006d2..dec04ee7d 100755
--- a/tests/idris2/basic012/run
+++ b/tests/idris2/basic012/run
@@ -1,3 +1,3 @@
-$1 --no-color --consolewidth 0 --check VIndex.idr
+$1 --no-color --console-width 0 --check VIndex.idr
 
 rm -rf build
diff --git a/tests/idris2/basic013/run b/tests/idris2/basic013/run
index a66b0a5bb..5e6e6c027 100755
--- a/tests/idris2/basic013/run
+++ b/tests/idris2/basic013/run
@@ -1,3 +1,3 @@
-$1 --no-color --consolewidth 0 --check Implicits.idr
+$1 --no-color --console-width 0 --check Implicits.idr
 
 rm -rf build
diff --git a/tests/idris2/basic014/run b/tests/idris2/basic014/run
index 0999b575f..34ad73dbe 100755
--- a/tests/idris2/basic014/run
+++ b/tests/idris2/basic014/run
@@ -1,3 +1,3 @@
-$1 --no-color --consolewidth 0 --check Rewrite.idr
+$1 --no-color --console-width 0 --check Rewrite.idr
 
 rm -rf build
diff --git a/tests/idris2/basic015/run b/tests/idris2/basic015/run
index 6f32de920..bb5a1fcd6 100755
--- a/tests/idris2/basic015/run
+++ b/tests/idris2/basic015/run
@@ -1,3 +1,3 @@
-$1 --no-color --consolewidth 0 --check George.idr
+$1 --no-color --console-width 0 --check George.idr
 
 rm -rf build
diff --git a/tests/idris2/basic016/run b/tests/idris2/basic016/run
index 6d409ee05..b49182349 100755
--- a/tests/idris2/basic016/run
+++ b/tests/idris2/basic016/run
@@ -1,4 +1,4 @@
-$1 --no-color --consolewidth 0 --check Eta.idr
-$1 --no-color --consolewidth 0 --check Eta2.idr
+$1 --no-color --console-width 0 --check Eta.idr
+$1 --no-color --console-width 0 --check Eta2.idr
 
 rm -rf build
diff --git a/tests/idris2/basic017/run b/tests/idris2/basic017/run
index ba6c39519..d562d2e3e 100755
--- a/tests/idris2/basic017/run
+++ b/tests/idris2/basic017/run
@@ -1,3 +1,3 @@
-$1 --no-color --consolewidth 0 --no-banner CaseInf.idr < input
+$1 --no-color --console-width 0 --no-banner CaseInf.idr < input
 
 rm -rf build
diff --git a/tests/idris2/basic018/run b/tests/idris2/basic018/run
index c110cd308..60c45fa0a 100755
--- a/tests/idris2/basic018/run
+++ b/tests/idris2/basic018/run
@@ -1,3 +1,3 @@
-$1 --no-color --consolewidth 0 --check Fin.idr
+$1 --no-color --console-width 0 --check Fin.idr
 
 rm -rf build
diff --git a/tests/idris2/basic019/run b/tests/idris2/basic019/run
index 36d40e7f2..0529eb1c2 100755
--- a/tests/idris2/basic019/run
+++ b/tests/idris2/basic019/run
@@ -1,3 +1,3 @@
-$1 --no-color --consolewidth 0 --no-banner CaseBlock.idr < input
+$1 --no-color --console-width 0 --no-banner CaseBlock.idr < input
 
 rm -rf build
diff --git a/tests/idris2/basic020/run b/tests/idris2/basic020/run
index ffaff3f4b..6cc3cf1ad 100755
--- a/tests/idris2/basic020/run
+++ b/tests/idris2/basic020/run
@@ -1,3 +1,3 @@
-$1 --no-color --consolewidth 0 --no-banner Mut.idr < input
+$1 --no-color --console-width 0 --no-banner Mut.idr < input
 
 rm -rf build
diff --git a/tests/idris2/basic021/run b/tests/idris2/basic021/run
index c51d7ec05..7a3016e6e 100755
--- a/tests/idris2/basic021/run
+++ b/tests/idris2/basic021/run
@@ -1,3 +1,3 @@
-$1 --no-color --consolewidth 0 --no-banner CaseDep.idr < input
+$1 --no-color --console-width 0 --no-banner CaseDep.idr < input
 
 rm -rf build
diff --git a/tests/idris2/basic022/run b/tests/idris2/basic022/run
index dd9c60e4e..b9d8db6b4 100755
--- a/tests/idris2/basic022/run
+++ b/tests/idris2/basic022/run
@@ -1,3 +1,3 @@
-$1 --no-color --consolewidth 0 --no-banner Erase.idr < input
+$1 --no-color --console-width 0 --no-banner Erase.idr < input
 
 rm -rf build
diff --git a/tests/idris2/basic023/run b/tests/idris2/basic023/run
index 890bc5ffd..b9a4d9d48 100755
--- a/tests/idris2/basic023/run
+++ b/tests/idris2/basic023/run
@@ -1,3 +1,3 @@
-$1 --no-color --consolewidth 0 --no-banner Params.idr < input
+$1 --no-color --console-width 0 --no-banner Params.idr < input
 
 rm -rf build
diff --git a/tests/idris2/basic024/run b/tests/idris2/basic024/run
index 12ddd7ed8..11356d395 100755
--- a/tests/idris2/basic024/run
+++ b/tests/idris2/basic024/run
@@ -1,3 +1,3 @@
-$1 --no-color --consolewidth 0 --no-banner PatLam.idr < input
+$1 --no-color --console-width 0 --no-banner PatLam.idr < input
 
 rm -rf build
diff --git a/tests/idris2/basic025/run b/tests/idris2/basic025/run
index 82a5c7e5a..565fcc184 100755
--- a/tests/idris2/basic025/run
+++ b/tests/idris2/basic025/run
@@ -1,3 +1,3 @@
-$1 --no-color --consolewidth 0 --no-banner < input
+$1 --no-color --console-width 0 --no-banner < input
 
 rm -rf build
diff --git a/tests/idris2/basic026/run b/tests/idris2/basic026/run
index 5e2eb7ace..40042596e 100755
--- a/tests/idris2/basic026/run
+++ b/tests/idris2/basic026/run
@@ -1,3 +1,3 @@
-$1 --no-color --consolewidth 0 --check Erl.idr
+$1 --no-color --console-width 0 --check Erl.idr
 
 rm -rf build
diff --git a/tests/idris2/basic027/run b/tests/idris2/basic027/run
index 0c10d0473..f5073c2d8 100755
--- a/tests/idris2/basic027/run
+++ b/tests/idris2/basic027/run
@@ -1,3 +1,3 @@
-$1 --no-color --consolewidth 0 --check Temp.idr
+$1 --no-color --console-width 0 --check Temp.idr
 
 rm -rf build
diff --git a/tests/idris2/basic028/run b/tests/idris2/basic028/run
index c34454853..c16d015ba 100755
--- a/tests/idris2/basic028/run
+++ b/tests/idris2/basic028/run
@@ -1,5 +1,5 @@
 unset IDRIS2_PATH
 
-$1 --no-color --consolewidth 0 --no-banner --no-prelude < input
+$1 --no-color --console-width 0 --no-banner --no-prelude < input
 
 rm -rf build
diff --git a/tests/idris2/basic029/run b/tests/idris2/basic029/run
index 890bc5ffd..b9a4d9d48 100644
--- a/tests/idris2/basic029/run
+++ b/tests/idris2/basic029/run
@@ -1,3 +1,3 @@
-$1 --no-color --consolewidth 0 --no-banner Params.idr < input
+$1 --no-color --console-width 0 --no-banner Params.idr < input
 
 rm -rf build
diff --git a/tests/idris2/basic030/run b/tests/idris2/basic030/run
index d2889f54b..51d6bd380 100644
--- a/tests/idris2/basic030/run
+++ b/tests/idris2/basic030/run
@@ -1,3 +1,3 @@
-$1 --no-color --consolewidth 0 --check arity.idr
+$1 --no-color --console-width 0 --check arity.idr
 
 rm -rf build
diff --git a/tests/idris2/basic031/run b/tests/idris2/basic031/run
index 71823f846..bf93e2af8 100644
--- a/tests/idris2/basic031/run
+++ b/tests/idris2/basic031/run
@@ -1,3 +1,3 @@
-$1 --no-color --consolewidth 0 --check erased.idr
+$1 --no-color --console-width 0 --check erased.idr
 
 rm -rf build
diff --git a/tests/idris2/basic032/run b/tests/idris2/basic032/run
index ae6f9c8a2..6e687994f 100755
--- a/tests/idris2/basic032/run
+++ b/tests/idris2/basic032/run
@@ -1,3 +1,3 @@
-$1 --no-color --consolewidth 0 --no-banner Idiom.idr < input
+$1 --no-color --console-width 0 --no-banner Idiom.idr < input
 
 rm -rf build
diff --git a/tests/idris2/basic033/run b/tests/idris2/basic033/run
index 075832de2..7cdaad074 100644
--- a/tests/idris2/basic033/run
+++ b/tests/idris2/basic033/run
@@ -1,3 +1,3 @@
-$1 --no-color --consolewidth 0 --check unboundimps.idr
+$1 --no-color --console-width 0 --check unboundimps.idr
 
 rm -rf build
diff --git a/tests/idris2/basic034/run b/tests/idris2/basic034/run
index 42a82c122..04154d62f 100644
--- a/tests/idris2/basic034/run
+++ b/tests/idris2/basic034/run
@@ -1,3 +1,3 @@
-$1 --no-color --consolewidth 0 --check lets.idr
+$1 --no-color --console-width 0 --check lets.idr
 
 rm -rf build
diff --git a/tests/idris2/basic035/run b/tests/idris2/basic035/run
index fe9fa4764..dd4bd38df 100755
--- a/tests/idris2/basic035/run
+++ b/tests/idris2/basic035/run
@@ -1,3 +1,3 @@
-$1 --no-color --consolewidth 0 --no-banner using.idr < input
+$1 --no-color --console-width 0 --no-banner using.idr < input
 
 rm -rf build
diff --git a/tests/idris2/basic036/run b/tests/idris2/basic036/run
index f802a6ece..a6e23ee93 100755
--- a/tests/idris2/basic036/run
+++ b/tests/idris2/basic036/run
@@ -1,3 +1,3 @@
-$1 --no-color --consolewidth 0 --no-banner defimp.idr < input
+$1 --no-color --console-width 0 --no-banner defimp.idr < input
 
 rm -rf build
diff --git a/tests/idris2/basic037/run b/tests/idris2/basic037/run
index 5ef3151a5..ed78ed897 100644
--- a/tests/idris2/basic037/run
+++ b/tests/idris2/basic037/run
@@ -1,4 +1,4 @@
-echo ':q' | $1 --no-color --consolewidth 0 --no-banner --no-prelude Comments.idr
-echo ':q' | $1 --no-color --consolewidth 0 --no-banner Issue279.idr
+echo ':q' | $1 --no-color --console-width 0 --no-banner --no-prelude Comments.idr
+echo ':q' | $1 --no-color --console-width 0 --no-banner Issue279.idr
 
 rm -rf build
diff --git a/tests/idris2/basic038/run b/tests/idris2/basic038/run
index 4120925d8..f7e1134dc 100644
--- a/tests/idris2/basic038/run
+++ b/tests/idris2/basic038/run
@@ -1,3 +1,3 @@
-$1 --no-color --consolewidth 0 --no-banner Resugar.idr < input
+$1 --no-color --console-width 0 --no-banner Resugar.idr < input
 
 rm -rf build
diff --git a/tests/idris2/basic039/run b/tests/idris2/basic039/run
index 46133930c..deba354b0 100755
--- a/tests/idris2/basic039/run
+++ b/tests/idris2/basic039/run
@@ -1,3 +1,3 @@
-$1 --no-color --consolewidth 0 --no-banner Main.idr < input
+$1 --no-color --console-width 0 --no-banner Main.idr < input
 
 rm -rf build
diff --git a/tests/idris2/basic040/run b/tests/idris2/basic040/run
index fea59ec5b..aa7823377 100755
--- a/tests/idris2/basic040/run
+++ b/tests/idris2/basic040/run
@@ -1,3 +1,3 @@
-echo ":q" | $1 --no-color --consolewidth 0 --no-banner Default.idr
+echo ":q" | $1 --no-color --console-width 0 --no-banner Default.idr
 
 rm -rf build
diff --git a/tests/idris2/basic041/run b/tests/idris2/basic041/run
index 2366e32ac..f60ed6c0a 100755
--- a/tests/idris2/basic041/run
+++ b/tests/idris2/basic041/run
@@ -1,3 +1,3 @@
-$1 --no-color --consolewidth 0 --check QDo.idr
+$1 --no-color --console-width 0 --check QDo.idr
 
 rm -rf build
diff --git a/tests/idris2/basic042/run b/tests/idris2/basic042/run
index 3f6707f43..48c25c06f 100755
--- a/tests/idris2/basic042/run
+++ b/tests/idris2/basic042/run
@@ -1,4 +1,4 @@
-$1 --no-banner --no-color --consolewidth 0 LiteralsString.idr < input
-$1 --no-banner --no-color --consolewidth 0 LiteralsInteger.idr < input2
+$1 --no-banner --no-color --console-width 0 LiteralsString.idr < input
+$1 --no-banner --no-color --console-width 0 LiteralsInteger.idr < input2
 
 rm -rf build
diff --git a/tests/idris2/coverage001/run b/tests/idris2/coverage001/run
index e71d617c6..5d299587a 100755
--- a/tests/idris2/coverage001/run
+++ b/tests/idris2/coverage001/run
@@ -1,3 +1,3 @@
-$1 --no-color --consolewidth 0 --no-banner Vect.idr < input
+$1 --no-color --console-width 0 --no-banner Vect.idr < input
 
 rm -rf build
diff --git a/tests/idris2/coverage002/run b/tests/idris2/coverage002/run
index e71d617c6..5d299587a 100755
--- a/tests/idris2/coverage002/run
+++ b/tests/idris2/coverage002/run
@@ -1,3 +1,3 @@
-$1 --no-color --consolewidth 0 --no-banner Vect.idr < input
+$1 --no-color --console-width 0 --no-banner Vect.idr < input
 
 rm -rf build
diff --git a/tests/idris2/coverage003/run b/tests/idris2/coverage003/run
index 861b8dd90..1c5591a0b 100755
--- a/tests/idris2/coverage003/run
+++ b/tests/idris2/coverage003/run
@@ -1,3 +1,3 @@
-$1 --no-color --consolewidth 0 --no-banner Cover.idr < input
+$1 --no-color --console-width 0 --no-banner Cover.idr < input
 
 rm -rf build
diff --git a/tests/idris2/coverage004/run b/tests/idris2/coverage004/run
index 861b8dd90..1c5591a0b 100755
--- a/tests/idris2/coverage004/run
+++ b/tests/idris2/coverage004/run
@@ -1,3 +1,3 @@
-$1 --no-color --consolewidth 0 --no-banner Cover.idr < input
+$1 --no-color --console-width 0 --no-banner Cover.idr < input
 
 rm -rf build
diff --git a/tests/idris2/coverage005/run b/tests/idris2/coverage005/run
index 861b8dd90..1c5591a0b 100755
--- a/tests/idris2/coverage005/run
+++ b/tests/idris2/coverage005/run
@@ -1,3 +1,3 @@
-$1 --no-color --consolewidth 0 --no-banner Cover.idr < input
+$1 --no-color --console-width 0 --no-banner Cover.idr < input
 
 rm -rf build
diff --git a/tests/idris2/coverage006/run b/tests/idris2/coverage006/run
index c4ca8f694..22e4f9b40 100755
--- a/tests/idris2/coverage006/run
+++ b/tests/idris2/coverage006/run
@@ -1,3 +1,3 @@
-$1 --no-color --consolewidth 0 --no-banner foobar.idr < input
+$1 --no-color --console-width 0 --no-banner foobar.idr < input
 
 rm -rf build
diff --git a/tests/idris2/coverage007/run b/tests/idris2/coverage007/run
index 299fe1e65..636dd6a2f 100755
--- a/tests/idris2/coverage007/run
+++ b/tests/idris2/coverage007/run
@@ -1,3 +1,3 @@
-$1 --no-color --consolewidth 0 --no-banner eq.idr --check
+$1 --no-color --console-width 0 --no-banner eq.idr --check
 
 rm -rf build
diff --git a/tests/idris2/coverage008/run b/tests/idris2/coverage008/run
index aaf0fdca4..b6f7dbf32 100755
--- a/tests/idris2/coverage008/run
+++ b/tests/idris2/coverage008/run
@@ -1,3 +1,3 @@
-$1 --no-color --consolewidth 0 --no-banner wcov.idr < input
+$1 --no-color --console-width 0 --no-banner wcov.idr < input
 
 rm -rf build
diff --git a/tests/idris2/coverage009/run b/tests/idris2/coverage009/run
index 4b269095d..211a4abc5 100755
--- a/tests/idris2/coverage009/run
+++ b/tests/idris2/coverage009/run
@@ -1,3 +1,3 @@
-$1 --no-color --consolewidth 0 --check unreachable.idr
+$1 --no-color --console-width 0 --check unreachable.idr
 
 rm -rf build
diff --git a/tests/idris2/coverage010/run b/tests/idris2/coverage010/run
index 31e88474b..25a24e371 100755
--- a/tests/idris2/coverage010/run
+++ b/tests/idris2/coverage010/run
@@ -1,3 +1,3 @@
-$1 --no-color --consolewidth 0 --check casetot.idr
+$1 --no-color --console-width 0 --check casetot.idr
 
 rm -rf build
diff --git a/tests/idris2/docs001/run b/tests/idris2/docs001/run
index 82a5c7e5a..565fcc184 100755
--- a/tests/idris2/docs001/run
+++ b/tests/idris2/docs001/run
@@ -1,3 +1,3 @@
-$1 --no-color --consolewidth 0 --no-banner < input
+$1 --no-color --console-width 0 --no-banner < input
 
 rm -rf build
diff --git a/tests/idris2/docs002/run b/tests/idris2/docs002/run
index db16d3fac..2b616b861 100755
--- a/tests/idris2/docs002/run
+++ b/tests/idris2/docs002/run
@@ -1,3 +1,3 @@
-$1 --no-color --consolewidth 0 --no-banner Doc.idr < input
+$1 --no-color --console-width 0 --no-banner Doc.idr < input
 
 rm -rf build
diff --git a/tests/idris2/error001/run b/tests/idris2/error001/run
index 57454f94d..b9fbe5ebf 100755
--- a/tests/idris2/error001/run
+++ b/tests/idris2/error001/run
@@ -1,3 +1,3 @@
-$1 --no-color --consolewidth 0 --check Error.idr
+$1 --no-color --console-width 0 --check Error.idr
 
 rm -rf build
diff --git a/tests/idris2/error002/run b/tests/idris2/error002/run
index 57454f94d..b9fbe5ebf 100755
--- a/tests/idris2/error002/run
+++ b/tests/idris2/error002/run
@@ -1,3 +1,3 @@
-$1 --no-color --consolewidth 0 --check Error.idr
+$1 --no-color --console-width 0 --check Error.idr
 
 rm -rf build
diff --git a/tests/idris2/error003/run b/tests/idris2/error003/run
index 57454f94d..b9fbe5ebf 100755
--- a/tests/idris2/error003/run
+++ b/tests/idris2/error003/run
@@ -1,3 +1,3 @@
-$1 --no-color --consolewidth 0 --check Error.idr
+$1 --no-color --console-width 0 --check Error.idr
 
 rm -rf build
diff --git a/tests/idris2/error004/run b/tests/idris2/error004/run
index ebdddd531..3d2a6dc90 100755
--- a/tests/idris2/error004/run
+++ b/tests/idris2/error004/run
@@ -1,4 +1,4 @@
-$1 --no-color --consolewidth 0 --check Error1.idr
-$1 --no-color --consolewidth 0 --check Error2.idr
+$1 --no-color --console-width 0 --check Error1.idr
+$1 --no-color --console-width 0 --check Error2.idr
 
 rm -rf build
diff --git a/tests/idris2/error005/run b/tests/idris2/error005/run
index 5ec91cd43..b50aa3f46 100755
--- a/tests/idris2/error005/run
+++ b/tests/idris2/error005/run
@@ -1,3 +1,3 @@
-$1 --no-color --consolewidth 0 --check IfErr.idr
+$1 --no-color --console-width 0 --check IfErr.idr
 
 rm -rf build
diff --git a/tests/idris2/error006/run b/tests/idris2/error006/run
index 5ec91cd43..b50aa3f46 100755
--- a/tests/idris2/error006/run
+++ b/tests/idris2/error006/run
@@ -1,3 +1,3 @@
-$1 --no-color --consolewidth 0 --check IfErr.idr
+$1 --no-color --console-width 0 --check IfErr.idr
 
 rm -rf build
diff --git a/tests/idris2/error007/run b/tests/idris2/error007/run
index d3ecb216f..b41d54680 100755
--- a/tests/idris2/error007/run
+++ b/tests/idris2/error007/run
@@ -1,3 +1,3 @@
-$1 --no-color --consolewidth 0 --check CongErr.idr
+$1 --no-color --console-width 0 --check CongErr.idr
 
 rm -rf build
diff --git a/tests/idris2/error008/run b/tests/idris2/error008/run
index 147917ca9..af457f53c 100755
--- a/tests/idris2/error008/run
+++ b/tests/idris2/error008/run
@@ -1,3 +1,3 @@
-$1 --no-color --consolewidth 0 --no-banner DoesntExist.idr < input
+$1 --no-color --console-width 0 --no-banner DoesntExist.idr < input
 
 rm -rf build
diff --git a/tests/idris2/error009/run b/tests/idris2/error009/run
index 2d06e936f..d533fe6c6 100755
--- a/tests/idris2/error009/run
+++ b/tests/idris2/error009/run
@@ -1,3 +1,3 @@
-$1 --no-color --consolewidth 0 --no-banner Exists.idr < input
+$1 --no-color --console-width 0 --no-banner Exists.idr < input
 
 rm -rf build
diff --git a/tests/idris2/error010/run b/tests/idris2/error010/run
index 0b98e08d7..5158f751a 100755
--- a/tests/idris2/error010/run
+++ b/tests/idris2/error010/run
@@ -1,3 +1,3 @@
-$1 --no-color --consolewidth 0 Loop.idr --check
+$1 --no-color --console-width 0 Loop.idr --check
 
 rm -rf build
diff --git a/tests/idris2/error011/run b/tests/idris2/error011/run
index 6ce79f072..7e85306bf 100755
--- a/tests/idris2/error011/run
+++ b/tests/idris2/error011/run
@@ -1,3 +1,3 @@
-$1 --no-color --consolewidth 0 ConstructorDuplicate.idr --check
+$1 --no-color --console-width 0 ConstructorDuplicate.idr --check
 
 rm -rf build
diff --git a/tests/idris2/error012/run b/tests/idris2/error012/run
index 2376e234c..4a08d43af 100755
--- a/tests/idris2/error012/run
+++ b/tests/idris2/error012/run
@@ -1 +1 @@
-$1 --no-color --consolewidth 0 nothere.idr -o argh
+$1 --no-color --console-width 0 nothere.idr -o argh
diff --git a/tests/idris2/import001/run b/tests/idris2/import001/run
index 003543624..be7265395 100755
--- a/tests/idris2/import001/run
+++ b/tests/idris2/import001/run
@@ -1,6 +1,6 @@
-$1 --no-color --consolewidth 0 --no-banner --no-prelude Test.idr < input
+$1 --no-color --console-width 0 --no-banner --no-prelude Test.idr < input
 sleep 1
 touch Mult.idr
-$1 --no-color --consolewidth 0 --no-banner --no-prelude Test.idr < input
+$1 --no-color --console-width 0 --no-banner --no-prelude Test.idr < input
 
 rm -rf build
diff --git a/tests/idris2/import002/run b/tests/idris2/import002/run
index 280ed7110..ad00cb0fc 100755
--- a/tests/idris2/import002/run
+++ b/tests/idris2/import002/run
@@ -1,3 +1,3 @@
-echo ':q' | $1 --no-color --consolewidth 0 --no-banner --no-prelude Test.idr
+echo ':q' | $1 --no-color --console-width 0 --no-banner --no-prelude Test.idr
 
 rm -rf build
diff --git a/tests/idris2/import003/run b/tests/idris2/import003/run
index a2accfdf5..e34f56d9c 100755
--- a/tests/idris2/import003/run
+++ b/tests/idris2/import003/run
@@ -1,4 +1,4 @@
-$1 --no-color --consolewidth 0 --no-banner B.idr < input
-$1 --no-color --consolewidth 0 --no-banner C.idr < input
+$1 --no-color --console-width 0 --no-banner B.idr < input
+$1 --no-color --console-width 0 --no-banner C.idr < input
 
 rm -rf build
diff --git a/tests/idris2/import004/run b/tests/idris2/import004/run
index 125fe9e40..4f5322646 100755
--- a/tests/idris2/import004/run
+++ b/tests/idris2/import004/run
@@ -1,4 +1,4 @@
-$1 --no-color --consolewidth 0 --no-banner Cycle1.idr
-$1 --no-color --consolewidth 0 --no-banner Loop.idr
+$1 --no-color --console-width 0 --no-banner Cycle1.idr
+$1 --no-color --console-width 0 --no-banner Loop.idr
 
 rm -rf build
diff --git a/tests/idris2/import005/run b/tests/idris2/import005/run
index afc01a819..70494eb2e 100644
--- a/tests/idris2/import005/run
+++ b/tests/idris2/import005/run
@@ -1,3 +1,3 @@
-$1 --no-color --consolewidth 0 --no-banner As.idr < input
+$1 --no-color --console-width 0 --no-banner As.idr < input
 
 rm -rf build
diff --git a/tests/idris2/interactive001/run b/tests/idris2/interactive001/run
index 2334ab9f9..99a80e91d 100755
--- a/tests/idris2/interactive001/run
+++ b/tests/idris2/interactive001/run
@@ -1,3 +1,3 @@
-$1 --no-color --consolewidth 0 --no-banner LocType.idr < input
+$1 --no-color --console-width 0 --no-banner LocType.idr < input
 
 rm -rf build
diff --git a/tests/idris2/interactive002/run b/tests/idris2/interactive002/run
index 40a336d99..1141e249b 100755
--- a/tests/idris2/interactive002/run
+++ b/tests/idris2/interactive002/run
@@ -1,3 +1,3 @@
-$1 --no-color --consolewidth 0 --no-banner IEdit.idr < input
+$1 --no-color --console-width 0 --no-banner IEdit.idr < input
 
 rm -rf build
diff --git a/tests/idris2/interactive003/run b/tests/idris2/interactive003/run
index e1218e2a6..238a41435 100755
--- a/tests/idris2/interactive003/run
+++ b/tests/idris2/interactive003/run
@@ -1,4 +1,4 @@
-$1 --no-color --consolewidth 0 --no-banner IEdit.idr < input
-$1 --no-color --consolewidth 0 --no-banner IEdit2.idr < input2
+$1 --no-color --console-width 0 --no-banner IEdit.idr < input
+$1 --no-color --console-width 0 --no-banner IEdit2.idr < input2
 
 rm -rf build
diff --git a/tests/idris2/interactive004/run b/tests/idris2/interactive004/run
index 40a336d99..1141e249b 100755
--- a/tests/idris2/interactive004/run
+++ b/tests/idris2/interactive004/run
@@ -1,3 +1,3 @@
-$1 --no-color --consolewidth 0 --no-banner IEdit.idr < input
+$1 --no-color --console-width 0 --no-banner IEdit.idr < input
 
 rm -rf build
diff --git a/tests/idris2/interactive005/run b/tests/idris2/interactive005/run
index 40a336d99..1141e249b 100755
--- a/tests/idris2/interactive005/run
+++ b/tests/idris2/interactive005/run
@@ -1,3 +1,3 @@
-$1 --no-color --consolewidth 0 --no-banner IEdit.idr < input
+$1 --no-color --console-width 0 --no-banner IEdit.idr < input
 
 rm -rf build
diff --git a/tests/idris2/interactive006/run b/tests/idris2/interactive006/run
index 40a336d99..1141e249b 100755
--- a/tests/idris2/interactive006/run
+++ b/tests/idris2/interactive006/run
@@ -1,3 +1,3 @@
-$1 --no-color --consolewidth 0 --no-banner IEdit.idr < input
+$1 --no-color --console-width 0 --no-banner IEdit.idr < input
 
 rm -rf build
diff --git a/tests/idris2/interactive007/run b/tests/idris2/interactive007/run
index 40a336d99..1141e249b 100755
--- a/tests/idris2/interactive007/run
+++ b/tests/idris2/interactive007/run
@@ -1,3 +1,3 @@
-$1 --no-color --consolewidth 0 --no-banner IEdit.idr < input
+$1 --no-color --console-width 0 --no-banner IEdit.idr < input
 
 rm -rf build
diff --git a/tests/idris2/interactive008/run b/tests/idris2/interactive008/run
index 40a336d99..1141e249b 100755
--- a/tests/idris2/interactive008/run
+++ b/tests/idris2/interactive008/run
@@ -1,3 +1,3 @@
-$1 --no-color --consolewidth 0 --no-banner IEdit.idr < input
+$1 --no-color --console-width 0 --no-banner IEdit.idr < input
 
 rm -rf build
diff --git a/tests/idris2/interactive009/run b/tests/idris2/interactive009/run
index bf3c5ba04..92d73a66c 100755
--- a/tests/idris2/interactive009/run
+++ b/tests/idris2/interactive009/run
@@ -1,3 +1,3 @@
-$1 --no-color --consolewidth 0 --no-banner Door.idr < input
+$1 --no-color --console-width 0 --no-banner Door.idr < input
 
 rm -rf build
diff --git a/tests/idris2/interactive010/run b/tests/idris2/interactive010/run
index 40a336d99..1141e249b 100755
--- a/tests/idris2/interactive010/run
+++ b/tests/idris2/interactive010/run
@@ -1,3 +1,3 @@
-$1 --no-color --consolewidth 0 --no-banner IEdit.idr < input
+$1 --no-color --console-width 0 --no-banner IEdit.idr < input
 
 rm -rf build
diff --git a/tests/idris2/interactive011/run b/tests/idris2/interactive011/run
index 40a336d99..1141e249b 100755
--- a/tests/idris2/interactive011/run
+++ b/tests/idris2/interactive011/run
@@ -1,3 +1,3 @@
-$1 --no-color --consolewidth 0 --no-banner IEdit.idr < input
+$1 --no-color --console-width 0 --no-banner IEdit.idr < input
 
 rm -rf build
diff --git a/tests/idris2/interactive012/run b/tests/idris2/interactive012/run
index d7f409a4c..d5b38829a 100755
--- a/tests/idris2/interactive012/run
+++ b/tests/idris2/interactive012/run
@@ -1,3 +1,3 @@
-$1 --no-color --consolewidth 0 --no-banner WithLift.idr < input
+$1 --no-color --console-width 0 --no-banner WithLift.idr < input
 
 rm -rf build
diff --git a/tests/idris2/interactive013/run b/tests/idris2/interactive013/run
index a70b54aef..2705a16c7 100755
--- a/tests/idris2/interactive013/run
+++ b/tests/idris2/interactive013/run
@@ -1,3 +1,3 @@
-$1 --no-color --consolewidth 0 --no-banner Spacing.idr < input
+$1 --no-color --console-width 0 --no-banner Spacing.idr < input
 
 rm -rf build
diff --git a/tests/idris2/interactive014/run b/tests/idris2/interactive014/run
index a48feb44c..fc48ad158 100755
--- a/tests/idris2/interactive014/run
+++ b/tests/idris2/interactive014/run
@@ -1,3 +1,3 @@
-$1 --no-color --consolewidth 0 --no-banner case.idr < input
+$1 --no-color --console-width 0 --no-banner case.idr < input
 
 rm -rf build
diff --git a/tests/idris2/interactive015/run b/tests/idris2/interactive015/run
index 40a336d99..1141e249b 100755
--- a/tests/idris2/interactive015/run
+++ b/tests/idris2/interactive015/run
@@ -1,3 +1,3 @@
-$1 --no-color --consolewidth 0 --no-banner IEdit.idr < input
+$1 --no-color --console-width 0 --no-banner IEdit.idr < input
 
 rm -rf build
diff --git a/tests/idris2/interactive016/run b/tests/idris2/interactive016/run
index 5a31ffd12..470a73022 100755
--- a/tests/idris2/interactive016/run
+++ b/tests/idris2/interactive016/run
@@ -1,3 +1,3 @@
-$1 --no-banner --no-color --consolewidth 0 Cont.idr < input
+$1 --no-banner --no-color --console-width 0 Cont.idr < input
 
 rm -rf build
diff --git a/tests/idris2/interactive017/run b/tests/idris2/interactive017/run
index 3b69dbbc7..600bf9f5e 100755
--- a/tests/idris2/interactive017/run
+++ b/tests/idris2/interactive017/run
@@ -1,3 +1,3 @@
-$1 --no-color --consolewidth 0 --no-banner RLE.idr < input
+$1 --no-color --console-width 0 --no-banner RLE.idr < input
 
 rm -rf build
diff --git a/tests/idris2/interactive018/run b/tests/idris2/interactive018/run
index 6698ce7a6..194fda348 100755
--- a/tests/idris2/interactive018/run
+++ b/tests/idris2/interactive018/run
@@ -1,3 +1,3 @@
-$1 --no-banner --no-color --consolewidth 0 PlusPrf.idr < input
+$1 --no-banner --no-color --console-width 0 PlusPrf.idr < input
 
 rm -rf build
diff --git a/tests/idris2/interface001/run b/tests/idris2/interface001/run
index 2e3b3d1c6..0e58b44b8 100755
--- a/tests/idris2/interface001/run
+++ b/tests/idris2/interface001/run
@@ -1,4 +1,4 @@
-$1 --no-color --consolewidth 0 --no-banner --no-prelude IFace.idr < input
-$1 --no-color --consolewidth 0 --no-banner --no-prelude IFace1.idr < input1
+$1 --no-color --console-width 0 --no-banner --no-prelude IFace.idr < input
+$1 --no-color --console-width 0 --no-banner --no-prelude IFace1.idr < input1
 
 rm -rf build
diff --git a/tests/idris2/interface002/run b/tests/idris2/interface002/run
index d50ff6a43..5e9c7a25f 100755
--- a/tests/idris2/interface002/run
+++ b/tests/idris2/interface002/run
@@ -1,3 +1,3 @@
-$1 --no-color --consolewidth 0 --no-banner --no-prelude Functor.idr < input
+$1 --no-color --console-width 0 --no-banner --no-prelude Functor.idr < input
 
 rm -rf build
diff --git a/tests/idris2/interface003/run b/tests/idris2/interface003/run
index 061c6bcf6..7a008a6c9 100755
--- a/tests/idris2/interface003/run
+++ b/tests/idris2/interface003/run
@@ -1,3 +1,3 @@
-$1 --no-color --consolewidth 0 --no-banner Do.idr < input
+$1 --no-color --console-width 0 --no-banner Do.idr < input
 
 rm -rf build
diff --git a/tests/idris2/interface004/run b/tests/idris2/interface004/run
index 061c6bcf6..7a008a6c9 100755
--- a/tests/idris2/interface004/run
+++ b/tests/idris2/interface004/run
@@ -1,3 +1,3 @@
-$1 --no-color --consolewidth 0 --no-banner Do.idr < input
+$1 --no-color --console-width 0 --no-banner Do.idr < input
 
 rm -rf build
diff --git a/tests/idris2/interface005/run b/tests/idris2/interface005/run
index 4d2808305..33d624080 100755
--- a/tests/idris2/interface005/run
+++ b/tests/idris2/interface005/run
@@ -1,3 +1,3 @@
-$1 --no-color --consolewidth 0 --check Deps.idr
+$1 --no-color --console-width 0 --check Deps.idr
 
 rm -rf build
diff --git a/tests/idris2/interface006/run b/tests/idris2/interface006/run
index ea204ea8b..a6794abb6 100755
--- a/tests/idris2/interface006/run
+++ b/tests/idris2/interface006/run
@@ -1,3 +1,3 @@
-$1 --no-color --consolewidth 0 --check Bimonad.idr
+$1 --no-color --console-width 0 --check Bimonad.idr
 
 rm -rf build
diff --git a/tests/idris2/interface007/run b/tests/idris2/interface007/run
index 46aff3616..19c2e6d90 100755
--- a/tests/idris2/interface007/run
+++ b/tests/idris2/interface007/run
@@ -1,3 +1,3 @@
-$1 --no-color --consolewidth 0 --debug-elab-check --check A.idr
+$1 --no-color --console-width 0 --debug-elab-check --check A.idr
 
 rm -rf build
diff --git a/tests/idris2/interface008/run b/tests/idris2/interface008/run
index 4d2808305..33d624080 100755
--- a/tests/idris2/interface008/run
+++ b/tests/idris2/interface008/run
@@ -1,3 +1,3 @@
-$1 --no-color --consolewidth 0 --check Deps.idr
+$1 --no-color --console-width 0 --check Deps.idr
 
 rm -rf build
diff --git a/tests/idris2/interface009/run b/tests/idris2/interface009/run
index 873dcfdcf..111e664ac 100755
--- a/tests/idris2/interface009/run
+++ b/tests/idris2/interface009/run
@@ -1,3 +1,3 @@
-$1 --no-color --consolewidth 0 --no-banner Odd.idr < input
+$1 --no-color --console-width 0 --no-banner Odd.idr < input
 
 rm -rf build
diff --git a/tests/idris2/interface010/run b/tests/idris2/interface010/run
index 6ae57778b..0c447209c 100755
--- a/tests/idris2/interface010/run
+++ b/tests/idris2/interface010/run
@@ -1,3 +1,3 @@
-$1 --no-color --consolewidth 0 Dep.idr --check
+$1 --no-color --console-width 0 Dep.idr --check
 
 rm -rf build
diff --git a/tests/idris2/interface011/run b/tests/idris2/interface011/run
index c8fb59b3d..d78378c16 100755
--- a/tests/idris2/interface011/run
+++ b/tests/idris2/interface011/run
@@ -1,3 +1,3 @@
-$1 --no-color --consolewidth 0 FuncImpl.idr --check
+$1 --no-color --console-width 0 FuncImpl.idr --check
 
 rm -rf build
diff --git a/tests/idris2/interface012/run b/tests/idris2/interface012/run
index 24a14de50..37a1db0d9 100755
--- a/tests/idris2/interface012/run
+++ b/tests/idris2/interface012/run
@@ -1,3 +1,3 @@
-$1 --no-color --consolewidth 0 Defmeth.idr --check
+$1 --no-color --console-width 0 Defmeth.idr --check
 
 rm -rf build
diff --git a/tests/idris2/interface013/run b/tests/idris2/interface013/run
index 6fe0a9608..a6be74e2d 100755
--- a/tests/idris2/interface013/run
+++ b/tests/idris2/interface013/run
@@ -1,3 +1,3 @@
-$1 --no-color --consolewidth 0 TypeInt.idr --check
+$1 --no-color --console-width 0 TypeInt.idr --check
 
 rm -rf build
diff --git a/tests/idris2/interface014/run b/tests/idris2/interface014/run
index 26994f223..6b3250d3c 100755
--- a/tests/idris2/interface014/run
+++ b/tests/idris2/interface014/run
@@ -1,3 +1,3 @@
-$1 --no-color --consolewidth 0 DepInt.idr --check
+$1 --no-color --console-width 0 DepInt.idr --check
 
 rm -rf build
diff --git a/tests/idris2/interface015/run b/tests/idris2/interface015/run
index 8a8b01959..f69ccb3a4 100755
--- a/tests/idris2/interface015/run
+++ b/tests/idris2/interface015/run
@@ -1,3 +1,3 @@
-$1 --no-color --consolewidth 0 gnu.idr --check
+$1 --no-color --console-width 0 gnu.idr --check
 
 rm -rf build
diff --git a/tests/idris2/interface016/run b/tests/idris2/interface016/run
index 2430afc97..a105f932b 100755
--- a/tests/idris2/interface016/run
+++ b/tests/idris2/interface016/run
@@ -1,3 +1,3 @@
-$1 --no-color --consolewidth 0 TwoNum.idr --check
+$1 --no-color --console-width 0 TwoNum.idr --check
 
 rm -rf build
diff --git a/tests/idris2/interpreter001/run b/tests/idris2/interpreter001/run
index 6b335c6a8..d54b883a7 100755
--- a/tests/idris2/interpreter001/run
+++ b/tests/idris2/interpreter001/run
@@ -1 +1 @@
-$1 --no-color --consolewidth 0 --no-banner < input
+$1 --no-color --console-width 0 --no-banner < input
diff --git a/tests/idris2/interpreter002/run b/tests/idris2/interpreter002/run
index 11edb0058..98f6061a4 100755
--- a/tests/idris2/interpreter002/run
+++ b/tests/idris2/interpreter002/run
@@ -1,3 +1,3 @@
-$1 --no-color --consolewidth 0 --no-banner --no-prelude < input
+$1 --no-color --console-width 0 --no-banner --no-prelude < input
 
 rm -rf build
diff --git a/tests/idris2/interpreter003/run b/tests/idris2/interpreter003/run
index 6b335c6a8..d54b883a7 100755
--- a/tests/idris2/interpreter003/run
+++ b/tests/idris2/interpreter003/run
@@ -1 +1 @@
-$1 --no-color --consolewidth 0 --no-banner < input
+$1 --no-color --console-width 0 --no-banner < input
diff --git a/tests/idris2/lazy001/run b/tests/idris2/lazy001/run
index b49c860b3..701bd6410 100755
--- a/tests/idris2/lazy001/run
+++ b/tests/idris2/lazy001/run
@@ -1,3 +1,3 @@
-$1 --no-color --consolewidth 0 --no-banner --no-prelude Lazy.idr < input
+$1 --no-color --console-width 0 --no-banner --no-prelude Lazy.idr < input
 
 rm -rf build
diff --git a/tests/idris2/linear001/run b/tests/idris2/linear001/run
index b74921498..597a4b1aa 100755
--- a/tests/idris2/linear001/run
+++ b/tests/idris2/linear001/run
@@ -1,3 +1,3 @@
-echo ':q' | $1 --no-color --consolewidth 0 --no-banner --no-prelude Door.idr
+echo ':q' | $1 --no-color --console-width 0 --no-banner --no-prelude Door.idr
 
 rm -rf build
diff --git a/tests/idris2/linear002/run b/tests/idris2/linear002/run
index ee0a1de0f..0941bc976 100755
--- a/tests/idris2/linear002/run
+++ b/tests/idris2/linear002/run
@@ -1,3 +1,3 @@
-$1 --no-color --consolewidth 0 --no-banner --no-prelude Door.idr < input
+$1 --no-color --console-width 0 --no-banner --no-prelude Door.idr < input
 
 rm -rf build
diff --git a/tests/idris2/linear003/run b/tests/idris2/linear003/run
index 1410347b0..26bba547a 100755
--- a/tests/idris2/linear003/run
+++ b/tests/idris2/linear003/run
@@ -1,3 +1,3 @@
-$1 --no-color --consolewidth 0 --no-banner --no-prelude Linear.idr < input
+$1 --no-color --console-width 0 --no-banner --no-prelude Linear.idr < input
 
 rm -rf build
diff --git a/tests/idris2/linear004/run b/tests/idris2/linear004/run
index 6d85a1c5b..f8f75932d 100755
--- a/tests/idris2/linear004/run
+++ b/tests/idris2/linear004/run
@@ -1,3 +1,3 @@
-$1 --no-color --consolewidth 0 --no-banner --no-prelude Erase.idr < input
+$1 --no-color --console-width 0 --no-banner --no-prelude Erase.idr < input
 
 rm -rf build
diff --git a/tests/idris2/linear005/run b/tests/idris2/linear005/run
index bf3c5ba04..92d73a66c 100755
--- a/tests/idris2/linear005/run
+++ b/tests/idris2/linear005/run
@@ -1,3 +1,3 @@
-$1 --no-color --consolewidth 0 --no-banner Door.idr < input
+$1 --no-color --console-width 0 --no-banner Door.idr < input
 
 rm -rf build
diff --git a/tests/idris2/linear006/run b/tests/idris2/linear006/run
index 03f524ffa..76bd0608b 100755
--- a/tests/idris2/linear006/run
+++ b/tests/idris2/linear006/run
@@ -1,3 +1,3 @@
-$1 --no-color --consolewidth 0 --no-banner ZFun.idr < input
+$1 --no-color --console-width 0 --no-banner ZFun.idr < input
 
 rm -rf build
diff --git a/tests/idris2/linear007/run b/tests/idris2/linear007/run
index 0bc40b9c8..1c055f61a 100755
--- a/tests/idris2/linear007/run
+++ b/tests/idris2/linear007/run
@@ -1,3 +1,3 @@
-$1 --no-color --consolewidth 0 --check LCase.idr
+$1 --no-color --console-width 0 --check LCase.idr
 
 rm -rf build
diff --git a/tests/idris2/linear008/run b/tests/idris2/linear008/run
index 380fdbf42..dc528ae97 100644
--- a/tests/idris2/linear008/run
+++ b/tests/idris2/linear008/run
@@ -1,3 +1,3 @@
-$1 --no-color --consolewidth 0 --check Door.idr
+$1 --no-color --console-width 0 --check Door.idr
 
 rm -rf build
diff --git a/tests/idris2/linear009/run b/tests/idris2/linear009/run
index 6214f9bf8..d269332f5 100644
--- a/tests/idris2/linear009/run
+++ b/tests/idris2/linear009/run
@@ -1,3 +1,3 @@
-$1 --no-color --consolewidth 0 --no-banner qtt.idr < input
+$1 --no-color --console-width 0 --no-banner qtt.idr < input
 
 rm -rf build
diff --git a/tests/idris2/linear010/run b/tests/idris2/linear010/run
index 7ca035beb..6cb5e489c 100644
--- a/tests/idris2/linear010/run
+++ b/tests/idris2/linear010/run
@@ -1,3 +1,3 @@
-$1 --no-color --consolewidth 0 --check Door.idr -p contrib
+$1 --no-color --console-width 0 --check Door.idr -p contrib
 
 rm -rf build
diff --git a/tests/idris2/linear011/run b/tests/idris2/linear011/run
index 5b3adfab1..bee02fb8e 100644
--- a/tests/idris2/linear011/run
+++ b/tests/idris2/linear011/run
@@ -1,3 +1,3 @@
-$1 --no-color --consolewidth 0 --no-banner Network.idr -p contrib -p network < input
+$1 --no-color --console-width 0 --no-banner Network.idr -p contrib -p network < input
 
 rm -rf build
diff --git a/tests/idris2/linear012/run b/tests/idris2/linear012/run
index 1b8ec31aa..e23c29b3f 100644
--- a/tests/idris2/linear012/run
+++ b/tests/idris2/linear012/run
@@ -1,3 +1,3 @@
-$1 --no-color --consolewidth 0 --no-banner linholes.idr < input
+$1 --no-color --console-width 0 --no-banner linholes.idr < input
 
 rm -rf build
diff --git a/tests/idris2/literate001/run b/tests/idris2/literate001/run
index 87d000a6d..9af2ee2de 100755
--- a/tests/idris2/literate001/run
+++ b/tests/idris2/literate001/run
@@ -1,3 +1,3 @@
-$1 --no-color --consolewidth 0 --no-banner IEdit.lidr < input
+$1 --no-color --console-width 0 --no-banner IEdit.lidr < input
 
 rm -rf build
diff --git a/tests/idris2/literate002/run b/tests/idris2/literate002/run
index fac99ef37..f40a6d5b3 100755
--- a/tests/idris2/literate002/run
+++ b/tests/idris2/literate002/run
@@ -1,4 +1,4 @@
-$1 --no-color --consolewidth 0 --no-banner IEdit.lidr < input
-$1 --no-color --consolewidth 0 --no-banner IEdit2.lidr < input2
+$1 --no-color --console-width 0 --no-banner IEdit.lidr < input
+$1 --no-color --console-width 0 --no-banner IEdit2.lidr < input2
 
 rm -rf build
diff --git a/tests/idris2/literate003/run b/tests/idris2/literate003/run
index 87d000a6d..9af2ee2de 100755
--- a/tests/idris2/literate003/run
+++ b/tests/idris2/literate003/run
@@ -1,3 +1,3 @@
-$1 --no-color --consolewidth 0 --no-banner IEdit.lidr < input
+$1 --no-color --console-width 0 --no-banner IEdit.lidr < input
 
 rm -rf build
diff --git a/tests/idris2/literate004/run b/tests/idris2/literate004/run
index 87d000a6d..9af2ee2de 100755
--- a/tests/idris2/literate004/run
+++ b/tests/idris2/literate004/run
@@ -1,3 +1,3 @@
-$1 --no-color --consolewidth 0 --no-banner IEdit.lidr < input
+$1 --no-color --console-width 0 --no-banner IEdit.lidr < input
 
 rm -rf build
diff --git a/tests/idris2/literate005/run b/tests/idris2/literate005/run
index 87d000a6d..9af2ee2de 100755
--- a/tests/idris2/literate005/run
+++ b/tests/idris2/literate005/run
@@ -1,3 +1,3 @@
-$1 --no-color --consolewidth 0 --no-banner IEdit.lidr < input
+$1 --no-color --console-width 0 --no-banner IEdit.lidr < input
 
 rm -rf build
diff --git a/tests/idris2/literate006/run b/tests/idris2/literate006/run
index 4a7826ddd..0ebd8f379 100755
--- a/tests/idris2/literate006/run
+++ b/tests/idris2/literate006/run
@@ -1,3 +1,3 @@
-$1 --no-color --consolewidth 0 --no-banner Door.lidr < input
+$1 --no-color --console-width 0 --no-banner Door.lidr < input
 
 rm -rf build
diff --git a/tests/idris2/literate007/run b/tests/idris2/literate007/run
index 6691d134d..7b751a270 100755
--- a/tests/idris2/literate007/run
+++ b/tests/idris2/literate007/run
@@ -1,4 +1,4 @@
-$1 --no-color --consolewidth 0 --no-banner IEdit.lidr < input
-$1 --no-color --consolewidth 0 --no-banner IEditOrg.org < input2
+$1 --no-color --console-width 0 --no-banner IEdit.lidr < input
+$1 --no-color --console-width 0 --no-banner IEditOrg.org < input2
 
 rm -rf build
diff --git a/tests/idris2/literate008/run b/tests/idris2/literate008/run
index 87d000a6d..9af2ee2de 100755
--- a/tests/idris2/literate008/run
+++ b/tests/idris2/literate008/run
@@ -1,3 +1,3 @@
-$1 --no-color --consolewidth 0 --no-banner IEdit.lidr < input
+$1 --no-color --console-width 0 --no-banner IEdit.lidr < input
 
 rm -rf build
diff --git a/tests/idris2/literate009/run b/tests/idris2/literate009/run
index 5ea6ed3c9..954aa2826 100755
--- a/tests/idris2/literate009/run
+++ b/tests/idris2/literate009/run
@@ -1,3 +1,3 @@
-$1 --no-color --consolewidth 0 --no-banner WithLift.lidr < input
+$1 --no-color --console-width 0 --no-banner WithLift.lidr < input
 
 rm -rf build
diff --git a/tests/idris2/literate010/run b/tests/idris2/literate010/run
index 4a1bd1708..d9f05e0e7 100755
--- a/tests/idris2/literate010/run
+++ b/tests/idris2/literate010/run
@@ -1,3 +1,3 @@
-$1 --no-color --consolewidth 0 --check --no-banner MyFirstIdrisProgram.org
+$1 --no-color --console-width 0 --check --no-banner MyFirstIdrisProgram.org
 
 rm -rf build
diff --git a/tests/idris2/literate011/run b/tests/idris2/literate011/run
index 778900e85..63fb85558 100755
--- a/tests/idris2/literate011/run
+++ b/tests/idris2/literate011/run
@@ -1,3 +1,3 @@
-$1 --no-color --consolewidth 0 --no-banner IEdit.md < input
+$1 --no-color --console-width 0 --no-banner IEdit.md < input
 
 rm -rf build
diff --git a/tests/idris2/literate012/run b/tests/idris2/literate012/run
index 2224b8538..a7f2e2344 100755
--- a/tests/idris2/literate012/run
+++ b/tests/idris2/literate012/run
@@ -1,3 +1,3 @@
-$1 --no-color --consolewidth 0 --no-banner IEdit.org < input
+$1 --no-color --console-width 0 --no-banner IEdit.org < input
 
 rm -rf build
diff --git a/tests/idris2/literate013/run b/tests/idris2/literate013/run
index 7995e19b9..cb309a9ab 100755
--- a/tests/idris2/literate013/run
+++ b/tests/idris2/literate013/run
@@ -1,3 +1,3 @@
-$1 --no-color --consolewidth 0 --no-banner --check Lit.lidr
+$1 --no-color --console-width 0 --no-banner --check Lit.lidr
 
 rm -rf build
diff --git a/tests/idris2/literate014/run b/tests/idris2/literate014/run
index 9e32771e6..15c1f260a 100755
--- a/tests/idris2/literate014/run
+++ b/tests/idris2/literate014/run
@@ -1,3 +1,3 @@
-$1 --no-color --consolewidth 0 --no-banner with.lidr < input
+$1 --no-color --console-width 0 --no-banner with.lidr < input
 
 rm -rf build
diff --git a/tests/idris2/literate015/run b/tests/idris2/literate015/run
index 3fa0d4a63..71a73737b 100755
--- a/tests/idris2/literate015/run
+++ b/tests/idris2/literate015/run
@@ -1,3 +1,3 @@
-$1 --no-color --consolewidth 0 --no-banner case.lidr < input
+$1 --no-color --console-width 0 --no-banner case.lidr < input
 
 rm -rf build
diff --git a/tests/idris2/namespace001/run b/tests/idris2/namespace001/run
index 432a387ff..2dd03672d 100644
--- a/tests/idris2/namespace001/run
+++ b/tests/idris2/namespace001/run
@@ -1,4 +1,4 @@
-echo ':q' | $1 --no-color --consolewidth 0 --no-banner Dup.idr
-echo ':t Test' | $1 --no-color --consolewidth 0 --no-banner Scope.idr
+echo ':q' | $1 --no-color --console-width 0 --no-banner Dup.idr
+echo ':t Test' | $1 --no-color --console-width 0 --no-banner Scope.idr
 
 rm -rf build
diff --git a/tests/idris2/params001/run b/tests/idris2/params001/run
index ac9e0655d..69dea4710 100755
--- a/tests/idris2/params001/run
+++ b/tests/idris2/params001/run
@@ -1,4 +1,4 @@
-$1 --no-color --consolewidth 0 --no-banner --check param.idr
-$1 --no-color --consolewidth 0 --no-banner --check parambad.idr
+$1 --no-color --console-width 0 --no-banner --check param.idr
+$1 --no-color --console-width 0 --no-banner --check parambad.idr
 
 rm -rf build
diff --git a/tests/idris2/perf001/run b/tests/idris2/perf001/run
index f62970c73..cd36ea611 100755
--- a/tests/idris2/perf001/run
+++ b/tests/idris2/perf001/run
@@ -1,3 +1,3 @@
-$1 --no-color --consolewidth 0 --check Big.idr
+$1 --no-color --console-width 0 --check Big.idr
 
 rm -rf build
diff --git a/tests/idris2/perf002/run b/tests/idris2/perf002/run
index f62970c73..cd36ea611 100755
--- a/tests/idris2/perf002/run
+++ b/tests/idris2/perf002/run
@@ -1,3 +1,3 @@
-$1 --no-color --consolewidth 0 --check Big.idr
+$1 --no-color --console-width 0 --check Big.idr
 
 rm -rf build
diff --git a/tests/idris2/perf003/run b/tests/idris2/perf003/run
index a19fab2f1..87caefbc2 100755
--- a/tests/idris2/perf003/run
+++ b/tests/idris2/perf003/run
@@ -1,3 +1,3 @@
-$1 --no-color --consolewidth 0 --check Auto.idr
+$1 --no-color --console-width 0 --check Auto.idr
 
 rm -rf build
diff --git a/tests/idris2/perf004/run b/tests/idris2/perf004/run
index 3f766e95e..6d4b24468 100755
--- a/tests/idris2/perf004/run
+++ b/tests/idris2/perf004/run
@@ -1,3 +1,3 @@
-$1 --no-color --consolewidth 0 --check bigdpair.idr
+$1 --no-color --console-width 0 --check bigdpair.idr
 
 rm -rf build
diff --git a/tests/idris2/perf005/run b/tests/idris2/perf005/run
index e1c3fae9c..884efc7b8 100755
--- a/tests/idris2/perf005/run
+++ b/tests/idris2/perf005/run
@@ -1,3 +1,3 @@
-$1 --no-color --consolewidth 0 --check Lambda.idr
+$1 --no-color --console-width 0 --check Lambda.idr
 
 rm -rf build
diff --git a/tests/idris2/perror001/run b/tests/idris2/perror001/run
index ce2f26f51..65133be9c 100755
--- a/tests/idris2/perror001/run
+++ b/tests/idris2/perror001/run
@@ -1,3 +1,3 @@
-$1 --no-color --consolewidth 0 --check PError.idr
+$1 --no-color --console-width 0 --check PError.idr
 
 rm -rf build
diff --git a/tests/idris2/perror002/run b/tests/idris2/perror002/run
index ce2f26f51..65133be9c 100755
--- a/tests/idris2/perror002/run
+++ b/tests/idris2/perror002/run
@@ -1,3 +1,3 @@
-$1 --no-color --consolewidth 0 --check PError.idr
+$1 --no-color --console-width 0 --check PError.idr
 
 rm -rf build
diff --git a/tests/idris2/perror003/run b/tests/idris2/perror003/run
index ce2f26f51..65133be9c 100755
--- a/tests/idris2/perror003/run
+++ b/tests/idris2/perror003/run
@@ -1,3 +1,3 @@
-$1 --no-color --consolewidth 0 --check PError.idr
+$1 --no-color --console-width 0 --check PError.idr
 
 rm -rf build
diff --git a/tests/idris2/perror004/run b/tests/idris2/perror004/run
index ce2f26f51..65133be9c 100755
--- a/tests/idris2/perror004/run
+++ b/tests/idris2/perror004/run
@@ -1,3 +1,3 @@
-$1 --no-color --consolewidth 0 --check PError.idr
+$1 --no-color --console-width 0 --check PError.idr
 
 rm -rf build
diff --git a/tests/idris2/perror005/run b/tests/idris2/perror005/run
index ce2f26f51..65133be9c 100755
--- a/tests/idris2/perror005/run
+++ b/tests/idris2/perror005/run
@@ -1,3 +1,3 @@
-$1 --no-color --consolewidth 0 --check PError.idr
+$1 --no-color --console-width 0 --check PError.idr
 
 rm -rf build
diff --git a/tests/idris2/perror006/run b/tests/idris2/perror006/run
index ce2f26f51..65133be9c 100755
--- a/tests/idris2/perror006/run
+++ b/tests/idris2/perror006/run
@@ -1,3 +1,3 @@
-$1 --no-color --consolewidth 0 --check PError.idr
+$1 --no-color --console-width 0 --check PError.idr
 
 rm -rf build
diff --git a/tests/idris2/pkg001/dummy.ipkg b/tests/idris2/pkg001/dummy.ipkg
index be13e6cfb..3eedc3806 100644
--- a/tests/idris2/pkg001/dummy.ipkg
+++ b/tests/idris2/pkg001/dummy.ipkg
@@ -7,4 +7,4 @@ brief = "This is a dummy package."
 readme = "README.md"
 
 modules = Dummy
-opts = "--no-color --consolewidth 0"
+opts = "--no-color --console-width 0"
diff --git a/tests/idris2/pkg002/dummy.ipkg b/tests/idris2/pkg002/dummy.ipkg
index f798159b4..cdcd63d97 100644
--- a/tests/idris2/pkg002/dummy.ipkg
+++ b/tests/idris2/pkg002/dummy.ipkg
@@ -8,4 +8,4 @@ readme = "README.md"
 
 modules = Top.Dummy
 sourcedir = "src"
-opts = "--no-color --consolewidth 0"
+opts = "--no-color --console-width 0"
diff --git a/tests/idris2/pkg003/testpkg.ipkg b/tests/idris2/pkg003/testpkg.ipkg
index 0dca4d6d1..13c332883 100644
--- a/tests/idris2/pkg003/testpkg.ipkg
+++ b/tests/idris2/pkg003/testpkg.ipkg
@@ -9,4 +9,4 @@ readme = "README.md"
 main = Main
 
 modules = Main
-opts = "--no-color --consolewidth 0"
+opts = "--no-color --console-width 0"
diff --git a/tests/idris2/pkg004/dummy.ipkg b/tests/idris2/pkg004/dummy.ipkg
index be13e6cfb..3eedc3806 100644
--- a/tests/idris2/pkg004/dummy.ipkg
+++ b/tests/idris2/pkg004/dummy.ipkg
@@ -7,4 +7,4 @@ brief = "This is a dummy package."
 readme = "README.md"
 
 modules = Dummy
-opts = "--no-color --consolewidth 0"
+opts = "--no-color --console-width 0"
diff --git a/tests/idris2/pkg005/foo.ipkg b/tests/idris2/pkg005/foo.ipkg
index aa0501d9f..bc4f49887 100644
--- a/tests/idris2/pkg005/foo.ipkg
+++ b/tests/idris2/pkg005/foo.ipkg
@@ -3,4 +3,4 @@ package foo
 modules = Foo
 
 main = Foo
-opts = "--no-color --consolewidth 0"
+opts = "--no-color --console-width 0"
diff --git a/tests/idris2/real001/run b/tests/idris2/real001/run
index ced2fd5bf..97823840a 100644
--- a/tests/idris2/real001/run
+++ b/tests/idris2/real001/run
@@ -1,4 +1,4 @@
-$1 --no-color --consolewidth 0 --check TestProto.idr
-$1 --no-color --consolewidth 0 --check MakeChans.idr
+$1 --no-color --console-width 0 --check TestProto.idr
+$1 --no-color --console-width 0 --check MakeChans.idr
 
 rm -rf build
diff --git a/tests/idris2/real002/run b/tests/idris2/real002/run
index cbd02a1e0..cca874c41 100644
--- a/tests/idris2/real002/run
+++ b/tests/idris2/real002/run
@@ -1,4 +1,4 @@
-$1 --no-color --consolewidth 0 --check Store.idr
-$1 --no-color --consolewidth 0 --check StoreL.idr
+$1 --no-color --console-width 0 --check Store.idr
+$1 --no-color --console-width 0 --check StoreL.idr
 
 rm -rf build
diff --git a/tests/idris2/record001/run b/tests/idris2/record001/run
index ad2ce2610..44414673f 100755
--- a/tests/idris2/record001/run
+++ b/tests/idris2/record001/run
@@ -1,3 +1,3 @@
-$1 --no-color --consolewidth 0 --no-banner Record.idr < input
+$1 --no-color --console-width 0 --no-banner Record.idr < input
 
 rm -rf build
diff --git a/tests/idris2/record002/run b/tests/idris2/record002/run
index ad2ce2610..44414673f 100755
--- a/tests/idris2/record002/run
+++ b/tests/idris2/record002/run
@@ -1,3 +1,3 @@
-$1 --no-color --consolewidth 0 --no-banner Record.idr < input
+$1 --no-color --console-width 0 --no-banner Record.idr < input
 
 rm -rf build
diff --git a/tests/idris2/record003/run b/tests/idris2/record003/run
index 7aabf6329..c15daba55 100755
--- a/tests/idris2/record003/run
+++ b/tests/idris2/record003/run
@@ -1,3 +1,3 @@
-$1 -c --no-color --consolewidth 0 --no-banner Record.idr
+$1 -c --no-color --console-width 0 --no-banner Record.idr
 
 rm -rf build
diff --git a/tests/idris2/record004/run b/tests/idris2/record004/run
index 46133930c..deba354b0 100755
--- a/tests/idris2/record004/run
+++ b/tests/idris2/record004/run
@@ -1,3 +1,3 @@
-$1 --no-color --consolewidth 0 --no-banner Main.idr < input
+$1 --no-color --console-width 0 --no-banner Main.idr < input
 
 rm -rf build
diff --git a/tests/idris2/record005/run b/tests/idris2/record005/run
index b50d0f44f..075d41092 100755
--- a/tests/idris2/record005/run
+++ b/tests/idris2/record005/run
@@ -1,3 +1,3 @@
-$1 --no-color --consolewidth 0 --no-banner Fld.idr < input
+$1 --no-color --console-width 0 --no-banner Fld.idr < input
 
 rm -rf build
diff --git a/tests/idris2/reflection001/run b/tests/idris2/reflection001/run
index bb37a295b..4e3420c0f 100755
--- a/tests/idris2/reflection001/run
+++ b/tests/idris2/reflection001/run
@@ -1,3 +1,3 @@
-$1 --no-color --consolewidth 0 --no-banner quote.idr < input
+$1 --no-color --console-width 0 --no-banner quote.idr < input
 
 rm -rf build
diff --git a/tests/idris2/reflection002/run b/tests/idris2/reflection002/run
index 17cce0987..bb32aa8bd 100755
--- a/tests/idris2/reflection002/run
+++ b/tests/idris2/reflection002/run
@@ -1,3 +1,3 @@
-$1 --no-color --consolewidth 0 --no-banner power.idr < input
+$1 --no-color --console-width 0 --no-banner power.idr < input
 
 rm -rf build
diff --git a/tests/idris2/reflection003/run b/tests/idris2/reflection003/run
index ea0074ebb..4cdbe00a6 100755
--- a/tests/idris2/reflection003/run
+++ b/tests/idris2/reflection003/run
@@ -1,3 +1,3 @@
-$1 --no-color --consolewidth 0 refprims.idr --check
+$1 --no-color --console-width 0 refprims.idr --check
 
 rm -rf build
diff --git a/tests/idris2/reflection004/run b/tests/idris2/reflection004/run
index b6f61a101..764092cbf 100755
--- a/tests/idris2/reflection004/run
+++ b/tests/idris2/reflection004/run
@@ -1,3 +1,3 @@
-$1 --no-color --consolewidth 0 --no-banner refdecl.idr < input
+$1 --no-color --console-width 0 --no-banner refdecl.idr < input
 
 rm -rf build
diff --git a/tests/idris2/reflection005/run b/tests/idris2/reflection005/run
index b6f61a101..764092cbf 100755
--- a/tests/idris2/reflection005/run
+++ b/tests/idris2/reflection005/run
@@ -1,3 +1,3 @@
-$1 --no-color --consolewidth 0 --no-banner refdecl.idr < input
+$1 --no-color --console-width 0 --no-banner refdecl.idr < input
 
 rm -rf build
diff --git a/tests/idris2/reflection006/run b/tests/idris2/reflection006/run
index 82b8cfec0..299671493 100755
--- a/tests/idris2/reflection006/run
+++ b/tests/idris2/reflection006/run
@@ -1,3 +1,3 @@
-$1 --no-color --consolewidth 0 --check refleq.idr
+$1 --no-color --console-width 0 --check refleq.idr
 
 rm -rf build
diff --git a/tests/idris2/reflection007/run b/tests/idris2/reflection007/run
index 25d965c1c..ef9669d1a 100755
--- a/tests/idris2/reflection007/run
+++ b/tests/idris2/reflection007/run
@@ -1,3 +1,3 @@
-$1 --no-color --consolewidth 0 --no-banner NatExpr.idr < input
+$1 --no-color --console-width 0 --no-banner NatExpr.idr < input
 
 rm -rf build
diff --git a/tests/idris2/reflection008/run b/tests/idris2/reflection008/run
index 0bbd6028f..2ba0db697 100755
--- a/tests/idris2/reflection008/run
+++ b/tests/idris2/reflection008/run
@@ -1,3 +1,3 @@
-$1 --no-color --consolewidth 0 --no-banner Interp.idr < input
+$1 --no-color --console-width 0 --no-banner Interp.idr < input
 
 rm -rf build
diff --git a/tests/idris2/reflection009/run b/tests/idris2/reflection009/run
index 4cb263368..24775d00c 100755
--- a/tests/idris2/reflection009/run
+++ b/tests/idris2/reflection009/run
@@ -1,3 +1,3 @@
-$1 --no-color --consolewidth 0 --check perf.idr
+$1 --no-color --console-width 0 --check perf.idr
 
 rm -rf build
diff --git a/tests/idris2/reg001/run b/tests/idris2/reg001/run
index c3f3f6f5b..96531b9ff 100755
--- a/tests/idris2/reg001/run
+++ b/tests/idris2/reg001/run
@@ -1,3 +1,3 @@
-$1 --no-color --consolewidth 0 --check D.idr
+$1 --no-color --console-width 0 --check D.idr
 
 rm -rf build
diff --git a/tests/idris2/reg002/run b/tests/idris2/reg002/run
index e4c2ea26d..92b000fe3 100755
--- a/tests/idris2/reg002/run
+++ b/tests/idris2/reg002/run
@@ -1,3 +1,3 @@
-$1 --no-color --consolewidth 0 --check linm.idr
+$1 --no-color --console-width 0 --check linm.idr
 
 rm -rf build
diff --git a/tests/idris2/reg003/run b/tests/idris2/reg003/run
index 74fe52019..6ca79cef3 100755
--- a/tests/idris2/reg003/run
+++ b/tests/idris2/reg003/run
@@ -1,3 +1,3 @@
-$1 --no-color --consolewidth 0 --no-banner --no-prelude Holes.idr < input
+$1 --no-color --console-width 0 --no-banner --no-prelude Holes.idr < input
 
 rm -rf build
diff --git a/tests/idris2/reg004/run b/tests/idris2/reg004/run
index 19fdeef00..ae055d721 100755
--- a/tests/idris2/reg004/run
+++ b/tests/idris2/reg004/run
@@ -1,3 +1,3 @@
-$1 --no-color --consolewidth 0 --check ambig.idr
+$1 --no-color --console-width 0 --check ambig.idr
 
 rm -rf build
diff --git a/tests/idris2/reg005/run b/tests/idris2/reg005/run
index a508627ab..e864e9080 100755
--- a/tests/idris2/reg005/run
+++ b/tests/idris2/reg005/run
@@ -1,3 +1,3 @@
-$1 --no-color --consolewidth 0 --check iftype.idr
+$1 --no-color --console-width 0 --check iftype.idr
 
 rm -rf build
diff --git a/tests/idris2/reg006/run b/tests/idris2/reg006/run
index b95b7f783..309de73de 100755
--- a/tests/idris2/reg006/run
+++ b/tests/idris2/reg006/run
@@ -1,3 +1,3 @@
-$1 --no-color --consolewidth 0 --check Cmd.idr
+$1 --no-color --console-width 0 --check Cmd.idr
 
 rm -rf build
diff --git a/tests/idris2/reg007/run b/tests/idris2/reg007/run
index a3cf02895..adc522221 100755
--- a/tests/idris2/reg007/run
+++ b/tests/idris2/reg007/run
@@ -1,3 +1,3 @@
-$1 --no-color --consolewidth 0 --check Main.idr
+$1 --no-color --console-width 0 --check Main.idr
 
 rm -rf build
diff --git a/tests/idris2/reg008/run b/tests/idris2/reg008/run
index 38b2a12dd..f0b6ff130 100755
--- a/tests/idris2/reg008/run
+++ b/tests/idris2/reg008/run
@@ -1,3 +1,3 @@
-$1 --no-color --consolewidth 0 Vending.idr --no-banner --debug-elab-check < input
+$1 --no-color --console-width 0 Vending.idr --no-banner --debug-elab-check < input
 
 rm -rf build
diff --git a/tests/idris2/reg009/run b/tests/idris2/reg009/run
index dbf962ec9..fd7bc840e 100755
--- a/tests/idris2/reg009/run
+++ b/tests/idris2/reg009/run
@@ -1,3 +1,3 @@
-$1 --no-color --consolewidth 0 Case.idr --check
+$1 --no-color --console-width 0 Case.idr --check
 
 rm -rf build
diff --git a/tests/idris2/reg010/run b/tests/idris2/reg010/run
index 11d84e58f..b6675c277 100755
--- a/tests/idris2/reg010/run
+++ b/tests/idris2/reg010/run
@@ -1,3 +1,3 @@
-$1 --no-color --consolewidth 0 Recordname.idr --check
+$1 --no-color --console-width 0 Recordname.idr --check
 
 rm -rf build
diff --git a/tests/idris2/reg011/run b/tests/idris2/reg011/run
index 64fc45982..f7674fe1c 100755
--- a/tests/idris2/reg011/run
+++ b/tests/idris2/reg011/run
@@ -1,3 +1,3 @@
-$1 --no-color --consolewidth 0 mut.idr --check
+$1 --no-color --console-width 0 mut.idr --check
 
 rm -rf build
diff --git a/tests/idris2/reg012/run b/tests/idris2/reg012/run
index a04ed2f69..9a4958917 100755
--- a/tests/idris2/reg012/run
+++ b/tests/idris2/reg012/run
@@ -1,3 +1,3 @@
-$1 --no-color --consolewidth 0 Foo.idr --check
+$1 --no-color --console-width 0 Foo.idr --check
 
 rm -rf build
diff --git a/tests/idris2/reg013/run b/tests/idris2/reg013/run
index 64f28b011..ef49db5c0 100755
--- a/tests/idris2/reg013/run
+++ b/tests/idris2/reg013/run
@@ -1,3 +1,3 @@
-$1 --no-color --consolewidth 0 UnboundImplicits.idr --check
+$1 --no-color --console-width 0 UnboundImplicits.idr --check
 
 rm -rf build
diff --git a/tests/idris2/reg014/run b/tests/idris2/reg014/run
index b54061a69..8c431002e 100755
--- a/tests/idris2/reg014/run
+++ b/tests/idris2/reg014/run
@@ -1,3 +1,3 @@
-$1 --no-color --consolewidth 0 casecase.idr --check --debug-elab-check
+$1 --no-color --console-width 0 casecase.idr --check --debug-elab-check
 
 rm -rf build
diff --git a/tests/idris2/reg015/run b/tests/idris2/reg015/run
index a98547c92..25dc886d3 100755
--- a/tests/idris2/reg015/run
+++ b/tests/idris2/reg015/run
@@ -1,3 +1,3 @@
-$1 --no-color --consolewidth 0 anyfail.idr --check
+$1 --no-color --console-width 0 anyfail.idr --check
 
 rm -rf build
diff --git a/tests/idris2/reg016/run b/tests/idris2/reg016/run
index 737f7db50..5a23aa265 100755
--- a/tests/idris2/reg016/run
+++ b/tests/idris2/reg016/run
@@ -1,3 +1,3 @@
-$1 --no-color --consolewidth 0 Using.idr --check
+$1 --no-color --console-width 0 Using.idr --check
 
 rm -rf build
diff --git a/tests/idris2/reg017/run b/tests/idris2/reg017/run
index 21bbb4054..dec6a70df 100755
--- a/tests/idris2/reg017/run
+++ b/tests/idris2/reg017/run
@@ -1,3 +1,3 @@
-$1 --no-color --consolewidth 0 lammult.idr --check
+$1 --no-color --console-width 0 lammult.idr --check
 
 rm -rf build
diff --git a/tests/idris2/reg018/run b/tests/idris2/reg018/run
index ec6fb7961..b1766de6f 100755
--- a/tests/idris2/reg018/run
+++ b/tests/idris2/reg018/run
@@ -1,3 +1,3 @@
-$1 --no-color --consolewidth 0 cycle.idr --check
+$1 --no-color --console-width 0 cycle.idr --check
 
 rm -rf build
diff --git a/tests/idris2/reg019/run b/tests/idris2/reg019/run
index beba34eec..f66271248 100755
--- a/tests/idris2/reg019/run
+++ b/tests/idris2/reg019/run
@@ -1,3 +1,3 @@
-$1 --no-color --consolewidth 0 lazybug.idr --check
+$1 --no-color --console-width 0 lazybug.idr --check
 
 rm -rf build
diff --git a/tests/idris2/reg020/run b/tests/idris2/reg020/run
index 52b266c3a..61a290bcb 100755
--- a/tests/idris2/reg020/run
+++ b/tests/idris2/reg020/run
@@ -1,3 +1,3 @@
-$1 --no-color --consolewidth 0 matchlits.idr --no-banner < input
+$1 --no-color --console-width 0 matchlits.idr --no-banner < input
 
 rm -rf build
diff --git a/tests/idris2/reg021/run b/tests/idris2/reg021/run
index 049a81767..ae7c2e01d 100755
--- a/tests/idris2/reg021/run
+++ b/tests/idris2/reg021/run
@@ -1,3 +1,3 @@
-$1 --no-color --consolewidth 0 --check case.idr
+$1 --no-color --console-width 0 --check case.idr
 
 rm -rf build
diff --git a/tests/idris2/reg022/run b/tests/idris2/reg022/run
index 049a81767..ae7c2e01d 100755
--- a/tests/idris2/reg022/run
+++ b/tests/idris2/reg022/run
@@ -1,3 +1,3 @@
-$1 --no-color --consolewidth 0 --check case.idr
+$1 --no-color --console-width 0 --check case.idr
 
 rm -rf build
diff --git a/tests/idris2/reg023/run b/tests/idris2/reg023/run
index 463716151..45d57ea54 100755
--- a/tests/idris2/reg023/run
+++ b/tests/idris2/reg023/run
@@ -1,3 +1,3 @@
-$1 --no-color --consolewidth 0 --check boom.idr
+$1 --no-color --console-width 0 --check boom.idr
 
 rm -rf build
diff --git a/tests/idris2/reg024/run b/tests/idris2/reg024/run
index f02f100e9..0bb50dd54 100755
--- a/tests/idris2/reg024/run
+++ b/tests/idris2/reg024/run
@@ -1,3 +1,3 @@
-$1 --no-color --consolewidth 0 --no-banner split.idr < input
+$1 --no-color --console-width 0 --no-banner split.idr < input
 
 rm -rf build
diff --git a/tests/idris2/reg025/run b/tests/idris2/reg025/run
index 12d64cba7..318528f3d 100755
--- a/tests/idris2/reg025/run
+++ b/tests/idris2/reg025/run
@@ -1,3 +1,3 @@
-$1 --no-color --consolewidth 0 --no-banner lift.idr < input
+$1 --no-color --console-width 0 --no-banner lift.idr < input
 
 rm -rf build
diff --git a/tests/idris2/reg026/run b/tests/idris2/reg026/run
index 396fecd50..9b0a193b0 100755
--- a/tests/idris2/reg026/run
+++ b/tests/idris2/reg026/run
@@ -1,3 +1,3 @@
-$1 --no-color --consolewidth 0 --check Meh.idr
+$1 --no-color --console-width 0 --check Meh.idr
 
 rm -rf build
diff --git a/tests/idris2/reg027/run b/tests/idris2/reg027/run
index 568371378..d8dc0efc6 100755
--- a/tests/idris2/reg027/run
+++ b/tests/idris2/reg027/run
@@ -1,3 +1,3 @@
-$1 --no-color --consolewidth 0 --check pwhere.idr
+$1 --no-color --console-width 0 --check pwhere.idr
 
 rm -rf build
diff --git a/tests/idris2/reg028/run b/tests/idris2/reg028/run
index c956b1928..b98f33ff9 100755
--- a/tests/idris2/reg028/run
+++ b/tests/idris2/reg028/run
@@ -1,3 +1,3 @@
-$1 --no-color --consolewidth 0 --check Test.idr
+$1 --no-color --console-width 0 --check Test.idr
 
 rm -rf build
diff --git a/tests/idris2/reg029/run b/tests/idris2/reg029/run
index e23c230b1..e916a0edc 100755
--- a/tests/idris2/reg029/run
+++ b/tests/idris2/reg029/run
@@ -1,3 +1,3 @@
-$1 --no-color --consolewidth 0 --check lqueue.idr
+$1 --no-color --console-width 0 --check lqueue.idr
 
 rm -rf build
diff --git a/tests/idris2/reg030/run b/tests/idris2/reg030/run
index f6c4acbd6..76867f726 100755
--- a/tests/idris2/reg030/run
+++ b/tests/idris2/reg030/run
@@ -1,3 +1,3 @@
-$1 --no-color --consolewidth 0 --check A.idr
+$1 --no-color --console-width 0 --check A.idr
 
 rm -rf build
diff --git a/tests/idris2/reg031/run b/tests/idris2/reg031/run
index 05642a524..6330e440e 100755
--- a/tests/idris2/reg031/run
+++ b/tests/idris2/reg031/run
@@ -1,3 +1,3 @@
-$1 --no-color --consolewidth 0 --check dpair.idr
+$1 --no-color --console-width 0 --check dpair.idr
 
 rm -rf build
diff --git a/tests/idris2/reg032/run b/tests/idris2/reg032/run
index bf53743e9..3373bae5f 100755
--- a/tests/idris2/reg032/run
+++ b/tests/idris2/reg032/run
@@ -1,3 +1,3 @@
-$1 --no-color --consolewidth 0 --check recupdate.idr
+$1 --no-color --console-width 0 --check recupdate.idr
 
 rm -rf build
diff --git a/tests/idris2/reg033/run b/tests/idris2/reg033/run
index b6e2a7c5f..82a98fdfd 100755
--- a/tests/idris2/reg033/run
+++ b/tests/idris2/reg033/run
@@ -1,3 +1,3 @@
-$1 --no-color --consolewidth 0 --check test.idr
+$1 --no-color --console-width 0 --check test.idr
 
 rm -rf build
diff --git a/tests/idris2/reg034/run b/tests/idris2/reg034/run
index 720332f7f..07f7ba2ea 100755
--- a/tests/idris2/reg034/run
+++ b/tests/idris2/reg034/run
@@ -1,3 +1,3 @@
-$1 --no-color --consolewidth 0 --check void.idr
+$1 --no-color --console-width 0 --check void.idr
 
 rm -rf build
diff --git a/tests/idris2/total001/run b/tests/idris2/total001/run
index c119db411..09d88e0cc 100755
--- a/tests/idris2/total001/run
+++ b/tests/idris2/total001/run
@@ -1,3 +1,3 @@
-$1 --no-color --consolewidth 0 --no-banner Total.idr < input
+$1 --no-color --console-width 0 --no-banner Total.idr < input
 
 rm -rf build
diff --git a/tests/idris2/total002/run b/tests/idris2/total002/run
index c119db411..09d88e0cc 100755
--- a/tests/idris2/total002/run
+++ b/tests/idris2/total002/run
@@ -1,3 +1,3 @@
-$1 --no-color --consolewidth 0 --no-banner Total.idr < input
+$1 --no-color --console-width 0 --no-banner Total.idr < input
 
 rm -rf build
diff --git a/tests/idris2/total003/run b/tests/idris2/total003/run
index c119db411..09d88e0cc 100755
--- a/tests/idris2/total003/run
+++ b/tests/idris2/total003/run
@@ -1,3 +1,3 @@
-$1 --no-color --consolewidth 0 --no-banner Total.idr < input
+$1 --no-color --console-width 0 --no-banner Total.idr < input
 
 rm -rf build
diff --git a/tests/idris2/total004/run b/tests/idris2/total004/run
index c119db411..09d88e0cc 100755
--- a/tests/idris2/total004/run
+++ b/tests/idris2/total004/run
@@ -1,3 +1,3 @@
-$1 --no-color --consolewidth 0 --no-banner Total.idr < input
+$1 --no-color --console-width 0 --no-banner Total.idr < input
 
 rm -rf build
diff --git a/tests/idris2/total005/run b/tests/idris2/total005/run
index c119db411..09d88e0cc 100755
--- a/tests/idris2/total005/run
+++ b/tests/idris2/total005/run
@@ -1,3 +1,3 @@
-$1 --no-color --consolewidth 0 --no-banner Total.idr < input
+$1 --no-color --console-width 0 --no-banner Total.idr < input
 
 rm -rf build
diff --git a/tests/idris2/total006/run b/tests/idris2/total006/run
index c119db411..09d88e0cc 100755
--- a/tests/idris2/total006/run
+++ b/tests/idris2/total006/run
@@ -1,3 +1,3 @@
-$1 --no-color --consolewidth 0 --no-banner Total.idr < input
+$1 --no-color --console-width 0 --no-banner Total.idr < input
 
 rm -rf build
diff --git a/tests/idris2/total007/run b/tests/idris2/total007/run
index 462c7e390..53ccef5db 100755
--- a/tests/idris2/total007/run
+++ b/tests/idris2/total007/run
@@ -1,3 +1,3 @@
-$1 --no-color --consolewidth 0 --no-banner partial.idr --check
+$1 --no-color --console-width 0 --no-banner partial.idr --check
 
 rm -rf build
diff --git a/tests/idris2/total008/run b/tests/idris2/total008/run
index 462c7e390..53ccef5db 100755
--- a/tests/idris2/total008/run
+++ b/tests/idris2/total008/run
@@ -1,3 +1,3 @@
-$1 --no-color --consolewidth 0 --no-banner partial.idr --check
+$1 --no-color --console-width 0 --no-banner partial.idr --check
 
 rm -rf build
diff --git a/tests/idris2/total009/run b/tests/idris2/total009/run
index f8b196b35..c703e4b8c 100755
--- a/tests/idris2/total009/run
+++ b/tests/idris2/total009/run
@@ -1,3 +1,3 @@
-$1 --no-color --consolewidth 0 tree.idr --check
+$1 --no-color --console-width 0 tree.idr --check
 
 rm -rf build
diff --git a/tests/idris2/with001/run b/tests/idris2/with001/run
index 0c10d0473..f5073c2d8 100755
--- a/tests/idris2/with001/run
+++ b/tests/idris2/with001/run
@@ -1,3 +1,3 @@
-$1 --no-color --consolewidth 0 --check Temp.idr
+$1 --no-color --console-width 0 --check Temp.idr
 
 rm -rf build
diff --git a/tests/idris2/with002/run b/tests/idris2/with002/run
index 0c10d0473..f5073c2d8 100755
--- a/tests/idris2/with002/run
+++ b/tests/idris2/with002/run
@@ -1,3 +1,3 @@
-$1 --no-color --consolewidth 0 --check Temp.idr
+$1 --no-color --console-width 0 --check Temp.idr
 
 rm -rf build
diff --git a/tests/idris2/with003/run b/tests/idris2/with003/run
index 46133930c..deba354b0 100755
--- a/tests/idris2/with003/run
+++ b/tests/idris2/with003/run
@@ -1,3 +1,3 @@
-$1 --no-color --consolewidth 0 --no-banner Main.idr < input
+$1 --no-color --console-width 0 --no-banner Main.idr < input
 
 rm -rf build
diff --git a/tests/node/node001/run b/tests/node/node001/run
index 1809703a0..6f06e7358 100755
--- a/tests/node/node001/run
+++ b/tests/node/node001/run
@@ -1,3 +1,3 @@
-$1 --no-color --consolewidth 0 --cg node --no-banner Total.idr < input
+$1 --no-color --console-width 0 --cg node --no-banner Total.idr < input
 
 rm -rf build
diff --git a/tests/node/node002/run b/tests/node/node002/run
index ac592aae0..23ee11c11 100755
--- a/tests/node/node002/run
+++ b/tests/node/node002/run
@@ -1,2 +1,2 @@
-$1 --no-color --consolewidth 0 --cg node --no-banner Pythag.idr < input
+$1 --no-color --console-width 0 --cg node --no-banner Pythag.idr < input
 rm -rf build
diff --git a/tests/node/node003/run b/tests/node/node003/run
index e89144a4a..401787072 100755
--- a/tests/node/node003/run
+++ b/tests/node/node003/run
@@ -1,2 +1,2 @@
-$1 --no-color --consolewidth 0 --cg node --no-banner IORef.idr < input
+$1 --no-color --console-width 0 --cg node --no-banner IORef.idr < input
 rm -rf build
diff --git a/tests/node/node004/run b/tests/node/node004/run
index 99ffa3f04..b327678a2 100755
--- a/tests/node/node004/run
+++ b/tests/node/node004/run
@@ -1,2 +1,2 @@
-$1 --no-color --consolewidth 0 --cg node --no-banner Buffer.idr < input
+$1 --no-color --console-width 0 --cg node --no-banner Buffer.idr < input
 rm -rf build test.buf
diff --git a/tests/node/node005/run b/tests/node/node005/run
index 25fc067ae..2034ab18e 100755
--- a/tests/node/node005/run
+++ b/tests/node/node005/run
@@ -1,3 +1,3 @@
-$1 --no-color --consolewidth 0 --cg node --no-banner Filter.idr < input
+$1 --no-color --console-width 0 --cg node --no-banner Filter.idr < input
 
 rm -rf build
diff --git a/tests/node/node006/run b/tests/node/node006/run
index 00e6841ca..f0b01dd2a 100755
--- a/tests/node/node006/run
+++ b/tests/node/node006/run
@@ -1,4 +1,4 @@
-$1 --no-color --consolewidth 0 --cg node --no-banner TypeCase.idr < input
-$1 --no-color --consolewidth 0 --cg node --no-banner TypeCase2.idr --check
+$1 --no-color --console-width 0 --cg node --no-banner TypeCase.idr < input
+$1 --no-color --console-width 0 --cg node --no-banner TypeCase2.idr --check
 
 rm -rf build
diff --git a/tests/node/node007/run b/tests/node/node007/run
index f81c383d4..55fc80667 100755
--- a/tests/node/node007/run
+++ b/tests/node/node007/run
@@ -1,3 +1,3 @@
-$1 --no-color --consolewidth 0 --cg node --no-banner TypeCase.idr < input
+$1 --no-color --console-width 0 --cg node --no-banner TypeCase.idr < input
 
 rm -rf build
diff --git a/tests/node/node008/run b/tests/node/node008/run
index d3b9ebea8..90c20e7f0 100755
--- a/tests/node/node008/run
+++ b/tests/node/node008/run
@@ -1,3 +1,3 @@
-$1 --no-color --consolewidth 0 --cg node --no-banner Nat.idr < input
+$1 --no-color --console-width 0 --cg node --no-banner Nat.idr < input
 
 rm -rf build
diff --git a/tests/node/node009/run b/tests/node/node009/run
index c534a6701..e379ebc1e 100755
--- a/tests/node/node009/run
+++ b/tests/node/node009/run
@@ -1,3 +1,3 @@
-$1 --no-color --consolewidth 0 --cg node --no-banner uni.idr < input
+$1 --no-color --console-width 0 --cg node --no-banner uni.idr < input
 
 rm -rf build
diff --git a/tests/node/node011/run b/tests/node/node011/run
index 1a1f3207e..462a3afc9 100644
--- a/tests/node/node011/run
+++ b/tests/node/node011/run
@@ -1,3 +1,3 @@
-$1 --no-color --consolewidth 0 --cg node --no-banner bangs.idr < input
+$1 --no-color --console-width 0 --cg node --no-banner bangs.idr < input
 
 rm -rf build
diff --git a/tests/node/node012/run b/tests/node/node012/run
index f00820b47..1d49a1fe9 100755
--- a/tests/node/node012/run
+++ b/tests/node/node012/run
@@ -1,2 +1,2 @@
-$1 --no-color --consolewidth 0 --cg node --no-banner array.idr < input
+$1 --no-color --console-width 0 --cg node --no-banner array.idr < input
 rm -rf build
diff --git a/tests/node/node014/run b/tests/node/node014/run
index 1c92854eb..1a283501e 100755
--- a/tests/node/node014/run
+++ b/tests/node/node014/run
@@ -1,3 +1,3 @@
-$1 --no-color --consolewidth 0 --cg node --no-banner -p network Echo.idr < input
+$1 --no-color --console-width 0 --cg node --no-banner -p network Echo.idr < input
 
 rm -rf build
diff --git a/tests/node/node015/run b/tests/node/node015/run
index 684b8cf9b..06fd7958f 100755
--- a/tests/node/node015/run
+++ b/tests/node/node015/run
@@ -1,3 +1,3 @@
-$1 --no-color --consolewidth 0 --cg node --no-banner Numbers.idr < input
+$1 --no-color --console-width 0 --cg node --no-banner Numbers.idr < input
 
 rm -rf build
diff --git a/tests/node/node017/run b/tests/node/node017/run
index 460947b83..742e3497f 100755
--- a/tests/node/node017/run
+++ b/tests/node/node017/run
@@ -1,4 +1,4 @@
 ./gen_expected.sh
-$1 --no-color --consolewidth 0 --cg node --no-banner dir.idr < input
+$1 --no-color --console-width 0 --cg node --no-banner dir.idr < input
 cat testdir/test.txt
 rm -rf build testdir
diff --git a/tests/node/node018/run b/tests/node/node018/run
index f4da5c9bb..d0b5f2eeb 100755
--- a/tests/node/node018/run
+++ b/tests/node/node018/run
@@ -1,3 +1,3 @@
-$1 --no-color --consolewidth 0 --cg node --no-banner File.idr < input
+$1 --no-color --console-width 0 --cg node --no-banner File.idr < input
 
 rm -rf build testout.txt
diff --git a/tests/node/node019/run b/tests/node/node019/run
index 731679317..127024cf8 100755
--- a/tests/node/node019/run
+++ b/tests/node/node019/run
@@ -1,3 +1,3 @@
-$1 --no-color --consolewidth 0 --cg node --no-banner partial.idr < input
+$1 --no-color --console-width 0 --cg node --no-banner partial.idr < input
 
 rm -rf build
diff --git a/tests/node/node020/run b/tests/node/node020/run
index f01ab87da..83222d9ea 100644
--- a/tests/node/node020/run
+++ b/tests/node/node020/run
@@ -1,3 +1,3 @@
-POPEN_CMD="$1 --version" $1 --no-color --consolewidth 0 --cg node --no-banner Popen.idr < input
+POPEN_CMD="$1 --version" $1 --no-color --console-width 0 --cg node --no-banner Popen.idr < input
 
 rm -rf build
diff --git a/tests/node/node021/run b/tests/node/node021/run
index ce09d78f2..919ea53e4 100644
--- a/tests/node/node021/run
+++ b/tests/node/node021/run
@@ -1,3 +1,3 @@
-$1 --no-color --consolewidth 0 --cg node --no-banner Bits.idr < input
+$1 --no-color --console-width 0 --cg node --no-banner Bits.idr < input
 
 rm -rf build
diff --git a/tests/node/reg001/run b/tests/node/reg001/run
index 0ca7fcc37..eb9d10651 100755
--- a/tests/node/reg001/run
+++ b/tests/node/reg001/run
@@ -1,3 +1,3 @@
-$1 --no-color --consolewidth 0 --cg node numbers.idr -x main
+$1 --no-color --console-width 0 --cg node numbers.idr -x main
 
 rm -rf build
diff --git a/tests/node/syntax001/run b/tests/node/syntax001/run
index 1be224b7b..5f0dd8caa 100644
--- a/tests/node/syntax001/run
+++ b/tests/node/syntax001/run
@@ -1,3 +1,3 @@
-$1 --no-color --consolewidth 0 --cg node caseBlock.idr -x main
+$1 --no-color --console-width 0 --cg node caseBlock.idr -x main
 
 rm -rf build
diff --git a/tests/node/tailrec001/run b/tests/node/tailrec001/run
index 1a83e2c2c..865cc6893 100755
--- a/tests/node/tailrec001/run
+++ b/tests/node/tailrec001/run
@@ -1,3 +1,3 @@
-$1 --no-color --consolewidth 0 --cg node tailrec.idr -x main
+$1 --no-color --console-width 0 --cg node tailrec.idr -x main
 
 rm -rf build
diff --git a/tests/typedd-book/chapter01/run b/tests/typedd-book/chapter01/run
index 616890995..96e7a8173 100755
--- a/tests/typedd-book/chapter01/run
+++ b/tests/typedd-book/chapter01/run
@@ -1,4 +1,4 @@
-$1 --no-color --consolewidth 0 All.idr --check
-$1 --no-color --consolewidth 0 --no-banner HoleFix.idr < input
+$1 --no-color --console-width 0 All.idr --check
+$1 --no-color --console-width 0 --no-banner HoleFix.idr < input
 
 rm -rf build
diff --git a/tests/typedd-book/chapter02/run b/tests/typedd-book/chapter02/run
index 010c35668..0a91f24cd 100755
--- a/tests/typedd-book/chapter02/run
+++ b/tests/typedd-book/chapter02/run
@@ -1,3 +1,3 @@
-$1 --no-color --consolewidth 0 All.idr --check
+$1 --no-color --console-width 0 All.idr --check
 
 rm -rf build
diff --git a/tests/typedd-book/chapter03/run b/tests/typedd-book/chapter03/run
index 010c35668..0a91f24cd 100755
--- a/tests/typedd-book/chapter03/run
+++ b/tests/typedd-book/chapter03/run
@@ -1,3 +1,3 @@
-$1 --no-color --consolewidth 0 All.idr --check
+$1 --no-color --console-width 0 All.idr --check
 
 rm -rf build
diff --git a/tests/typedd-book/chapter04/run b/tests/typedd-book/chapter04/run
index 010c35668..0a91f24cd 100755
--- a/tests/typedd-book/chapter04/run
+++ b/tests/typedd-book/chapter04/run
@@ -1,3 +1,3 @@
-$1 --no-color --consolewidth 0 All.idr --check
+$1 --no-color --console-width 0 All.idr --check
 
 rm -rf build
diff --git a/tests/typedd-book/chapter05/run b/tests/typedd-book/chapter05/run
index 010c35668..0a91f24cd 100755
--- a/tests/typedd-book/chapter05/run
+++ b/tests/typedd-book/chapter05/run
@@ -1,3 +1,3 @@
-$1 --no-color --consolewidth 0 All.idr --check
+$1 --no-color --console-width 0 All.idr --check
 
 rm -rf build
diff --git a/tests/typedd-book/chapter06/run b/tests/typedd-book/chapter06/run
index 010c35668..0a91f24cd 100755
--- a/tests/typedd-book/chapter06/run
+++ b/tests/typedd-book/chapter06/run
@@ -1,3 +1,3 @@
-$1 --no-color --consolewidth 0 All.idr --check
+$1 --no-color --console-width 0 All.idr --check
 
 rm -rf build
diff --git a/tests/typedd-book/chapter07/run b/tests/typedd-book/chapter07/run
index 010c35668..0a91f24cd 100755
--- a/tests/typedd-book/chapter07/run
+++ b/tests/typedd-book/chapter07/run
@@ -1,3 +1,3 @@
-$1 --no-color --consolewidth 0 All.idr --check
+$1 --no-color --console-width 0 All.idr --check
 
 rm -rf build
diff --git a/tests/typedd-book/chapter08/run b/tests/typedd-book/chapter08/run
index 010c35668..0a91f24cd 100755
--- a/tests/typedd-book/chapter08/run
+++ b/tests/typedd-book/chapter08/run
@@ -1,3 +1,3 @@
-$1 --no-color --consolewidth 0 All.idr --check
+$1 --no-color --console-width 0 All.idr --check
 
 rm -rf build
diff --git a/tests/typedd-book/chapter09/run b/tests/typedd-book/chapter09/run
index 010c35668..0a91f24cd 100755
--- a/tests/typedd-book/chapter09/run
+++ b/tests/typedd-book/chapter09/run
@@ -1,3 +1,3 @@
-$1 --no-color --consolewidth 0 All.idr --check
+$1 --no-color --console-width 0 All.idr --check
 
 rm -rf build
diff --git a/tests/typedd-book/chapter10/run b/tests/typedd-book/chapter10/run
index 41a72b3fe..15a2bd090 100755
--- a/tests/typedd-book/chapter10/run
+++ b/tests/typedd-book/chapter10/run
@@ -1,4 +1,4 @@
-$1 --no-color --consolewidth 0 DLFail.idr --check
-$1 --no-color --consolewidth 0 All.idr --check
+$1 --no-color --console-width 0 DLFail.idr --check
+$1 --no-color --console-width 0 All.idr --check
 
 rm -rf build
diff --git a/tests/typedd-book/chapter11/run b/tests/typedd-book/chapter11/run
index 010c35668..0a91f24cd 100755
--- a/tests/typedd-book/chapter11/run
+++ b/tests/typedd-book/chapter11/run
@@ -1,3 +1,3 @@
-$1 --no-color --consolewidth 0 All.idr --check
+$1 --no-color --console-width 0 All.idr --check
 
 rm -rf build
diff --git a/tests/typedd-book/chapter12/run b/tests/typedd-book/chapter12/run
index 010c35668..0a91f24cd 100755
--- a/tests/typedd-book/chapter12/run
+++ b/tests/typedd-book/chapter12/run
@@ -1,3 +1,3 @@
-$1 --no-color --consolewidth 0 All.idr --check
+$1 --no-color --console-width 0 All.idr --check
 
 rm -rf build
diff --git a/tests/typedd-book/chapter13/run b/tests/typedd-book/chapter13/run
index 010c35668..0a91f24cd 100755
--- a/tests/typedd-book/chapter13/run
+++ b/tests/typedd-book/chapter13/run
@@ -1,3 +1,3 @@
-$1 --no-color --consolewidth 0 All.idr --check
+$1 --no-color --console-width 0 All.idr --check
 
 rm -rf build
diff --git a/tests/typedd-book/chapter14/run b/tests/typedd-book/chapter14/run
index 010c35668..0a91f24cd 100755
--- a/tests/typedd-book/chapter14/run
+++ b/tests/typedd-book/chapter14/run
@@ -1,3 +1,3 @@
-$1 --no-color --consolewidth 0 All.idr --check
+$1 --no-color --console-width 0 All.idr --check
 
 rm -rf build