changeset 2298:a795c96b61cb

<shachaf> sed -i \'s/^/echo -n "$(basename "$0"): "; /\' bin/emptylist
author HackBot
date Fri, 01 Mar 2013 01:16:38 +0000
parents 3c4dbacc32a3
children 94fdefe5a3de
files bin/emptylist
diffstat 1 files changed, 1 insertions(+), 1 deletions(-) [+]
line wrap: on
line diff
--- a/bin/emptylist	Fri Mar 01 01:16:12 2013 +0000
+++ b/bin/emptylist	Fri Mar 01 01:16:38 2013 +0000
@@ -1,1 +1,1 @@
-tail -n+2 "$0" | xargs; exit
+echo -n "$(basename "$0"): "; tail -n+2 "$0" | xargs; exit