From ee4fa6c118c5f3d14e6257acd8150a011b0fb29e Mon Sep 17 00:00:00 2001 From: Florian Bruhin Date: Wed, 16 Mar 2016 07:23:17 +0100 Subject: [PATCH] travis: Use prebuilt docker images --- scripts/dev/ci/travis_run.sh | 8 ++++++-- 1 file changed, 6 insertions(+), 2 deletions(-) diff --git a/scripts/dev/ci/travis_run.sh b/scripts/dev/ci/travis_run.sh index 9341a95cf..6e4539d26 100644 --- a/scripts/dev/ci/travis_run.sh +++ b/scripts/dev/ci/travis_run.sh @@ -1,8 +1,12 @@ #!/bin/bash if [[ $DOCKER ]]; then - docker build -t img misc/docker/$DOCKER - docker run --privileged -v $PWD:/outside img + # To build a fresh image: + # docker build -t img misc/docker/$DOCKER + # docker run --privileged -v $PWD:/outside img + + docker run --privileged -v $PWD:/outside \ + thecompiler/qutebrowser-manual:$DOCKER else args=() [[ $TESTENV == docs ]] && args=('--no-authors')