# HG changeset patch # User HackEso # Date 1573952172 0 # Node ID da23f60cf8d34fd9fb5fe63b20d1b797b02bca19 # Parent 7ead7fa39388cbb1b7d11cea0aaeb4106aa9fc29 ` for d in + -; do sed -i -e \'s|tee karma|tee ${HACKENV-/hackenv}/karma|\' /hackenv/bin/karma$d; done diff -r 7ead7fa39388 -r da23f60cf8d3 bin/karma+ --- a/bin/karma+ Sun Nov 17 00:46:17 2019 +0000 +++ b/bin/karma+ Sun Nov 17 00:56:12 2019 +0000 @@ -1,3 +1,3 @@ #!/bin/sh -echo "$1 now has $(($(${HACKENV-/hackenv}/lib/karma "$1")+1)) karma." | tee karma +echo "$1 now has $(($(${HACKENV-/hackenv}/lib/karma "$1")+1)) karma." | tee ${HACKENV-/hackenv}/karma