# HG changeset patch # User HackEso # Date 1543744120 0 # Node ID b129cca56652cdfcba65250f546e19d17a914bd1 # Parent 2a34e647b1b78bcb6c011bd5dfa4dc43273cc77f makelist bobadventureslist b_jonas diff -r 2a34e647b1b7 -r b129cca56652 bin/bobadventureslist --- /dev/null Thu Jan 01 00:00:00 1970 +0000 +++ b/bin/bobadventureslist Sun Dec 02 09:48:40 2018 +0000 @@ -0,0 +1,2 @@ +echo -n "$(basename "$0")${@:+ }$@: "; tail -n+2 "$0" | xargs; exit +b_jonas