# HG changeset patch
# User HackBot
# Date 1464666821 0
# Node ID 672e5f263e1bd4b8feffcba42d10e894d3a5bd14
# Parent  c253474309dc0bc7ddc4430e1eb6bd5a412d7a4f
<shachaf> sedk bin/sedk//s;u;\'u;;s"n"n\'"

diff -r c253474309dc -r 672e5f263e1b bin/sedk
--- a/bin/sedk	Tue May 31 03:53:33 2016 +0000
+++ b/bin/sedk	Tue May 31 03:53:41 2016 +0000
@@ -1,1 +1,1 @@
-[[ "$1" == ?*//* ]] || { echo usage: sedk file//operation; exit 1; }; key="${1%%//*}"; value="${1#*//}"; [[ -f "$key" ]] || exit 1; sed -i "$value" "$key" && { echo -n "$key//"; cat "$key"; }
+[[ "$1" == ?*//* ]] || { echo 'usage: sedk file//operation'; exit 1; }; key="${1%%//*}"; value="${1#*//}"; [[ -f "$key" ]] || exit 1; sed -i "$value" "$key" && { echo -n "$key//"; cat "$key"; }