changeset 8231:b4e4b5bd1d3b

<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" }
author HackBot
date Tue, 31 May 2016 03:51:12 +0000
parents 1e323fe0c60e
children c253474309dc
files bin/sedk
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/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" }