changeset 6749:1f3dbb75e9c1

<zgrep> ` echo \'f=`echo "$1" | sed \'"\'"\'s/ = .*$//\'"\'"\'`;c=`echo "$1" | sed \'"\'"\'s/^.* = //\'"\'"\'`;echo "$c" > "$f"\' > bin/overwrite; chmod +x bin/overwrite;
author HackBot
date Wed, 10 Feb 2016 03:39:50 +0000
parents ff1253db8cf3
children 29da43f867df
files bin/overwrite
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/overwrite	Wed Feb 10 03:39:50 2016 +0000
@@ -0,0 +1,1 @@
+f=`echo "$1" | sed 's/ = .*$//'`;c=`echo "$1" | sed 's/^.* = //'`;echo "$c" > "$f"