view bin/karma- @ 369:b30df78e892e

<elliott> pastelogs proofgeneral
author HackBot
date Mon, 30 Apr 2012 23:15:13 +0000
parents e037173e0012
children 7ead7fa39388
line wrap: on
line source

#!/bin/sh
touch karma
echo "$1 now has $(($(lib/karma "$1")-1)) karma."