From cfff4a998db3af18e422f86217913ec1f0247cbd Mon Sep 17 00:00:00 2001 From: Bruno Windels Date: Fri, 5 Apr 2019 16:15:38 +0200 Subject: [PATCH] install ComplexHttpServer regardless of whether riot is already installed --- riot/install.sh | 12 ++++++------ 1 file changed, 6 insertions(+), 6 deletions(-) diff --git a/riot/install.sh b/riot/install.sh index e8eef9427f..fda9537652 100755 --- a/riot/install.sh +++ b/riot/install.sh @@ -2,12 +2,6 @@ set -e RIOT_BRANCH=develop -BASE_DIR=$(cd $(dirname $0) && pwd) -if [ -d $BASE_DIR/riot-web ]; then - echo "riot is already installed" - exit -fi - cd $BASE_DIR # Install ComplexHttpServer (a drop in replacement for Python's SimpleHttpServer # but with support for multiple threads) into a virtualenv. @@ -26,6 +20,12 @@ cd $BASE_DIR deactivate ) +BASE_DIR=$(cd $(dirname $0) && pwd) +if [ -d $BASE_DIR/riot-web ]; then + echo "riot is already installed" + exit +fi + curl -L https://github.com/vector-im/riot-web/archive/${RIOT_BRANCH}.zip --output riot.zip unzip -q riot.zip rm riot.zip