From b06b83aa4bd5fc3d4a21a37fa1833039aca57cac Mon Sep 17 00:00:00 2001 From: Lucas Date: Mon, 21 Dec 2020 12:18:38 +0000 Subject: [PATCH] update-element-web: cope with rename --- utils/scripts/update-element-web.sh | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/utils/scripts/update-element-web.sh b/utils/scripts/update-element-web.sh index 3db2251..8a55fc3 100644 --- a/utils/scripts/update-element-web.sh +++ b/utils/scripts/update-element-web.sh @@ -35,7 +35,7 @@ ver=$1 GH_BASE_URL=https://github.com/vector-im/element-web/releases/download cd "$ELEMENT_WEB_UI_DIR" || err "can't cd to web UI directory" -ftp -o - "$GH_BASE_URL/$ver/riot-$ver.tar.gz" | pax -rz || +ftp -o - "$GH_BASE_URL/$ver/element-$ver.tar.gz" | pax -rz || err "can't fetch and extract release" -rm -f riot && ln -s "riot-$ver" riot || +rm -f element && ln -s "element-$ver" element || err "can't point web UI directory to new release"