fix deploy

Author: pietroalbini

.travis.yml

@@ -17,7 +17,7 @@ script:
 
 # Publish the Docker image to the infra AWS registry
 before_deploy:
-  - pip install --user awscli; export PATH=$PATH:$HOME/.local/bin
+  - pip install awscli
 deploy:
   provider: script
   script: sh ci/publish-docker.sh

ci/publish-docker.sh

@@ -1,6 +1,5 @@
 #!/bin/bash
-set -euo pipefail
-IFS=$'\n\t'
+set -e
 
 ECR_IMAGE="890664054962.dkr.ecr.us-west-1.amazonaws.com/rust-highfive:latest"