Commit fea548f2 authored by Nathalie Furmento's avatar Nathalie Furmento

scripts/createWebServer.sh: use https instead of http

parent a93ac281
Pipeline #160376 passed with stages
in 1 minute and 31 seconds
......@@ -43,7 +43,7 @@ updateFileLinks()
{
for x in $(grep -rs 'href="\/files/' public | tr ' ' '\012' | tr '\t' '\012' | grep href | sed -e 's/href="//' -e 's/".*//' -e 's/#.*//' | sort | uniq)
do
dst=$(echo "http://files.inria.fr/starpu$x" | sed 's:files/::')
dst=$(echo "https://files.inria.fr/starpu$x" | sed 's:files/::')
echo "create redirect from $x to $dst"
case "$x" in
*pdf) for f in $(grep -rsl $x public) ; do sed -i 's;href="'$x'";href="'$dst'";g' $f ; done ;;
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment