Commit 29c040e0 authored by Nathalie Furmento's avatar Nathalie Furmento

create redirect pages

parent 53d01107
Pipeline #158257 canceled with stage
in 52 seconds
#!/bin/bash
dir=$(dirname $0)
public=$dir/..
while read line
do
src=$(echo $line | awk '{print $1}')
dst=$(echo $line | awk '{print $2}')
echo create redirect from $src to $dst
mkdir -p .public/$src
(cat <<EOF
<head>
<title>Page has moved!</title>
<meta http-equiv="Refresh" content="0; URL=$dst" />
</head>
EOF
) > .public/$src/index.html
done< $dir/redirect.txt
/ComplexHPC-11 /tutorials/2011-ComplexHPC
/ComplexHPC-13 /tutorials/2013-ComplexHPC
/HPC-GA-2012 /tutorials/2012-HPC-GA
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