25 lines
651 B
Bash
Executable file
25 lines
651 B
Bash
Executable file
#!/bin/sh
|
||
|
||
RPC_HOST="localhost"
|
||
RPC_PORT="8070"
|
||
RPC_TAG="0"
|
||
|
||
echo -n ${RPC_TAG} \
|
||
| morph " RpcTag ~ ℕ
|
||
~ <PosInt 10 BigEndian>
|
||
~ < Seq~<ValueTerminated 0>
|
||
<Digit 10>
|
||
~ Char ~ Ascii ~ x86.UInt8
|
||
>" \
|
||
" RpcTag ~ ℕ
|
||
~ x86.UInt64" \
|
||
| nc ${RPC_HOST} ${RPC_PORT} \
|
||
| morph " TimePoint
|
||
~ <TimeSince UnixEpoch>
|
||
~ Duration ~ Seconds
|
||
~ ℝ ~ <QuantizedLinear 0 1 1000>
|
||
~ ℕ ~ x86.UInt64" \
|
||
" TimePoint
|
||
~ ISO8601
|
||
~ <Seq Char~Unicode> ~ UTF-8
|
||
~ <Seq~<ValueTerminated 0> x86.UInt8>"
|