# HG changeset patch
# User HackBot
# Date 1464667068 0
# Node ID 1a01adc0d78a91a4bed65d25b8d4a025640713ca
# Parent  863f4323bc8cc3a962993f72fd6f63416d5957d8
<shachaf> ` mv bin/sedk bin/sled; sedk \'bin/sled//s-sedk-sled-\'

diff -r 863f4323bc8c -r 1a01adc0d78a bin/sedk
--- a/bin/sedk	Tue May 31 03:54:14 2016 +0000
+++ /dev/null	Thu Jan 01 00:00:00 1970 +0000
@@ -1,1 +0,0 @@
-[[ "$1" == ?*//* ]] || { echo 'usage: sedk file//script'; exit 1; }; key="${1%%//*}"; value="${1#*//}"; [[ -f "$key" ]] || exit 1; sed -i "$value" "$key" && { echo -n "$key//"; cat "$key"; }
diff -r 863f4323bc8c -r 1a01adc0d78a bin/sled
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/bin/sled	Tue May 31 03:57:48 2016 +0000
@@ -0,0 +1,1 @@
+[[ "$1" == ?*//* ]] || { echo 'usage: sedk file//script'; exit 1; }; key="${1%%//*}"; value="${1#*//}"; [[ -f "$key" ]] || exit 1; sed -i "$value" "$key" && { echo -n "$key//"; cat "$key"; }