diff --git a/scripts/dev/ci/travis_run.sh b/scripts/dev/ci/travis_run.sh index 79900a058..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 + # 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:$DOCKER + thecompiler/qutebrowser-manual:$DOCKER else args=() [[ $TESTENV == docs ]] && args=('--no-authors')