abstreet/release/update_docs.sh
Dustin Carlino a5f56e6011 new release
2021-04-11 10:14:27 -07:00

25 lines
1.0 KiB
Bash
Executable File

#!/bin/bash
# Manually run after pushing the Github release
set -e
MAJOR=0
MINOR=2
OLD_PATCH=$1
NEW_PATCH=$2
if [ "$OLD_PATCH" == "" ] || [ "$NEW_PATCH" == "" ]; then
echo Missing args;
exit 1;
fi
# This assumes https://github.com/a-b-street/docs is checked out at ~/docs
perl -pi -e "s/${MAJOR}_${MINOR}_${OLD_PATCH}/${MAJOR}_${MINOR}_${NEW_PATCH}/g" README.md ~/docs/book/src/howto/README.md ~/docs/book/src/side_projects/santa.md ~/docs/book/src/side_projects/osm_viewer.md ~/docs/book/src/side_projects/fifteen_min.md
perl -pi -e "s/${MAJOR}\.${MINOR}\.${OLD_PATCH}/${MAJOR}\.${MINOR}\.${NEW_PATCH}/g" README.md ~/docs/book/src/howto/README.md ~/docs/book/src/side_projects/santa.md ~/docs/book/src/side_projects/osm_viewer.md ~/docs/book/src/side_projects/fifteen_min.md
echo "Don't forget to:"
echo "1) aws s3 cp --recursive --exclude 'data/input/*' s3://abstreet/dev/ s3://abstreet/${MAJOR}.${MINOR}.${NEW_PATCH}"
echo "2) ./release/deploy_web.sh"
echo "3) Post to r/abstreet"
echo "4) Update map_gui/src/tools/updater.rs"
echo "5) Push the docs repo too"