ツール. 旧サイトからの移設

乱暴だけど、このようなシェルを作って、全ページ置き換えた。

bash

#!/bin/bash

NEWDOMAIN="https://sugoi-domain.com"

for FILE in `find * -name '*.html'`
do
    PAGE=$FILE
    if [ "$FILE" = "index.html" ]; then
        PAGE=
    fi
    echo "<meta http-equiv=\"refresh\" content=\"0;URL='$NEWDOMAIN/$PAGE'\" />" > $FILE
done