jepler.github.io/_scripts/do-emergent-page
2019-07-06 17:41:00 -05:00

24 lines
648 B
Bash
Executable file

#!/bin/bash
set -eo pipefail
mkdir -p _posts
set -- ${1##https://emergent.unpythonic.net/}
set -- ${1##https://gamma.unpythonic.net/}
curl > $1.html.pre https://gamma.unpythonic.net/$1
TITLE=`grep '<title>' $1.html.pre | head -1 | sed -Ee 's,</?title>,,g'`
FSTITLE=`echo $TITLE | tr -Cs '[a-zA-Z0-9]' '-' | sed -Ee 's/^-*|-*$//g' `
DATE=`date --date=@$1 +%Y-%m-%d`
OUTFILE="_posts/$DATE-$FSTITLE.html"
(
echo $OUTFILE 1>&2
exec > $OUTFILE
echo "---"
echo "layout: default"
echo "title: \"$TITLE\""
echo "redirect_from: "
echo " - /$1"
echo "---"
cat $1.html.pre
rm $1.html.pre
)
git add $OUTFILE
git commit -m"Migrate aether post from $1" $OUTFILE