From 8efc399859dd9288e9914260795aee3c9f512e81 Mon Sep 17 00:00:00 2001 From: AnyOldName3 Date: Mon, 17 Jun 2024 21:39:11 +0100 Subject: [PATCH] Switch to GitLab-hosted Lua archvies lua.org has been down all day, so CI has been dead. --- docs/source/install_luadocumentor_in_docker.sh | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/docs/source/install_luadocumentor_in_docker.sh b/docs/source/install_luadocumentor_in_docker.sh index fd7fcdb0e6..4c2eca7265 100755 --- a/docs/source/install_luadocumentor_in_docker.sh +++ b/docs/source/install_luadocumentor_in_docker.sh @@ -7,7 +7,7 @@ fi echo "Install lua 5.1" cd ~ -curl -R -O https://www.lua.org/ftp/lua-5.1.5.tar.gz +curl -R -O https://gitlab.com/OpenMW/openmw-deps/-/raw/main/lua/lua-5.1.5.tar.gz tar -zxf lua-5.1.5.tar.gz rm lua-5.1.5.tar.gz cd lua-5.1.5/ @@ -17,7 +17,7 @@ PATH=$PATH:~/lua-5.1.5/src echo "Install luarocks" luarocksV="3.9.2" -wget https://luarocks.org/releases/luarocks-$luarocksV.tar.gz +wget https://gitlab.com/OpenMW/openmw-deps/-/raw/main/lua/luarocks-$luarocksV.tar.gz tar zxpf luarocks-$luarocksV.tar.gz rm luarocks-$luarocksV.tar.gz cd luarocks-$luarocksV/