From 0735321bfc1aadf7e2230df1edc9dd7363978dd6 Mon Sep 17 00:00:00 2001 From: "B. Watson" Date: Tue, 26 Jan 2016 06:03:25 -0500 Subject: fix prices not being reset, make cursor less visible --- push.sh | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) (limited to 'push.sh') diff --git a/push.sh b/push.sh index f03791e..69c9cae 100644 --- a/push.sh +++ b/push.sh @@ -5,7 +5,8 @@ # "naptime" is a shell script that you don't have :) git push && make distclean all || exit 1 -URL="$( naptime taipan.xex | sed 's,urchlay.naptime.net,204.9.204.226,' )" +#URL="$( naptime taipan.xex | sed 's,urchlay.naptime.net,204.9.204.226,' )" +URL="$( naptime taipan.xex )" REV="$( git rev-parse --short HEAD )" echo "build ID $REV at $URL" -- cgit v1.2.3