26 lines
651 B
Bash
26 lines
651 B
Bash
|
#!/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>"
|