# HG changeset patch # User HackEso # Date 1638771133 0 # Node ID 078ce192820895051a0797dbb5f39fc7ee5b63d3 # Parent e9135ab5cecce599ab0cf53f3f1db1c527d67541 `` rm -v /hackenv/{wisdom,bin}/bobadventureslist diff -r e9135ab5cecc -r 078ce1928208 bin/bobadventureslist --- a/bin/bobadventureslist Wed Dec 01 08:40:57 2021 +0000 +++ /dev/null Thu Jan 01 00:00:00 1970 +0000 @@ -1,2 +0,0 @@ -echo -n "$(basename "$0")${@:+ }$@: "; tail -n+2 "$0" | xargs; exit -b_jonas