2017-09-12 20:56:25 +00:00
|
|
|
#!/bin/bash
|
|
|
|
|
|
2017-09-12 21:07:57 +00:00
|
|
|
exec > ~/tint2.runner-version.log
|
|
|
|
|
exec 2>&1
|
|
|
|
|
|
2017-09-12 20:56:25 +00:00
|
|
|
set -e
|
|
|
|
|
set -x
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
cd ~/tint2.wiki
|
|
|
|
|
git reset --hard
|
|
|
|
|
git pull
|
|
|
|
|
|
|
|
|
|
|
2017-09-12 21:15:12 +00:00
|
|
|
~/tint2/packaging/version_status.py > packaging.tmp.md
|
2017-09-12 21:14:08 +00:00
|
|
|
cat packaging.tmp.md > packaging.md
|
|
|
|
|
rm packaging.tmp.md
|
2017-09-12 20:56:25 +00:00
|
|
|
|
|
|
|
|
git commit -am 'Update packaging info'
|
|
|
|
|
git push
|
