# HG changeset patch
# User HackBot
# Date 1464666672 0
# Node ID b4e4b5bd1d3baec2911f3bcd6af45928de212263
# Parent  1e323fe0c60e7da30bdb950c631c202ad896f460
<shachaf> mkx bin/sedk//[[ "$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" }

diff -r 1e323fe0c60e -r b4e4b5bd1d3b bin/sedk
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/bin/sedk	Tue May 31 03:51:12 2016 +0000
@@ -0,0 +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" }