# HG changeset patch
# User HackBot
# Date 1464762919 0
# Node ID e95716889267f215d2c7c00370dbd9640a60e7aa
# Parent  bbc54fe11f7dac15a7e8eb8ce7c4a3056da3a33e
<shachaf> sled bin/sled//s#\\|\\| exit 1#|| { echo \'no such file\'; exit 1; }#

diff -r bbc54fe11f7d -r e95716889267 bin/sled
--- a/bin/sled	Wed Jun 01 06:26:31 2016 +0000
+++ b/bin/sled	Wed Jun 01 06:35:19 2016 +0000
@@ -1,1 +1,1 @@
-[[ "$1" == ?*//* ]] || { echo 'usage: sled file//script'; exit 1; }; key="${1%%//*}"; value="${1#*//}"; [[ -f "$key" ]] || exit 1; sed -i "$value" "$key" && { echo -n "$key//"; cat "$key"; }
+|| { echo 'no such file'; exit 1; }[[ "$1" == ?*//* ]] || { echo 'usage: sled file//script'; exit 1; }; key="${1%%//*}"; value="${1#*//}"; [[ -f "$key" ]] || exit 1; sed -i "$value" "$key" && { echo -n "$key//"; cat "$key"; }