riverotter.xsrv.jpに引っ越してきて一月あまり経ちますが、まだ古いURLがあちこち残ってました。今年の内にケリを付けようとスクリプトで洗い出してみます。
#!/bin/bash
tmp=.temp
find . -name “*.html” -type f | while read file; do
cat ${file} | grep riverotter.org > ${tmp}
if [ $? = 0 ]; then
echo ${file}
cat ${tmp}
else
false
fi
done
rm ${tmp}
余計なものも出てきますが、とりあえず欲しいものは含まれているのでこれで済ます。