changeset 6745:9fa261e3c10e

<zgrep> ` echo \'f=`echo "$1" | sed \'"\'"\'s/ = .*$//\'"\'"\'`;c=`echo "$1" | sed \'"\'"\'s/^.* = //\'"\'"\'`;echo "$c" >> "$f"\' > bin/append
author HackBot
date Wed, 10 Feb 2016 03:38:01 +0000
parents 42f6e7ff8fda
children 9b28e2737dfb
files bin/append
diffstat 1 files changed, 1 insertions(+), 0 deletions(-) [+]
line wrap: on
line diff
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/bin/append	Wed Feb 10 03:38:01 2016 +0000
@@ -0,0 +1,1 @@
+f=`echo "$1" | sed 's/ = .*$//'`;c=`echo "$1" | sed 's/^.* = //'`;echo "$c" >> "$f"