Fix setup script for Github

dbde04df · Jean-Michel Picod · a73837cb · dbde04df
Commit dbde04df authored 5 years ago by Jean-Michel Picod
--- a/setup.sh
+++ b/setup.sh
@@ -16,7 +16,7 @@
 set -e

 # Ensure the script doesn't fail on Github workflows
-TERM=${TERM:-vt100}
+export TERM=${TERM:-vt100}

 # Check that rustup and pip3 are installed
 check_command () {