# HG changeset patch # User HackBot # Date 1454977835 0 # Node ID a5bdda67e8d66627976c858ddbe7623b1f96139c # Parent 24dd0798035b8f9e5a5c74e94ac3fe759e75a002 revert 6648 diff -r 24dd0798035b -r a5bdda67e8d6 I don't know the syntax --- a/I don't know the syntax Tue Feb 09 00:28:24 2016 +0000 +++ /dev/null Thu Jan 01 00:00:00 1970 +0000 @@ -1,1 +0,0 @@ -I don't know the syntax diff -r 24dd0798035b -r a5bdda67e8d6 bin/mk --- a/bin/mk Tue Feb 09 00:28:24 2016 +0000 +++ b/bin/mk Tue Feb 09 00:30:35 2016 +0000 @@ -1,1 +1,1 @@ -[[ "$1" == ?*//* ]] || (echo usage: $0 file//contents >contents;2; exit 1); key="${1%%//*}"; value="${1#*//}"; echo "$value" > "$key" && echo "$key" +[[ "$1" == ?*//* ]] || (echo usage: $0 file//contents; exit 1); key="${1%%//*}"; value="${1#*//}"; echo "$value" > "$key" && echo "$key" diff -r 24dd0798035b -r a5bdda67e8d6 contents --- a/contents Tue Feb 09 00:28:24 2016 +0000 +++ /dev/null Thu Jan 01 00:00:00 1970 +0000 @@ -1,1 +0,0 @@ -usage: /hackenv/bin/mk file//contents diff -r 24dd0798035b -r a5bdda67e8d6 how about now --- a/how about now Tue Feb 09 00:28:24 2016 +0000 +++ /dev/null Thu Jan 01 00:00:00 1970 +0000 @@ -1,1 +0,0 @@ -how about now