1 2 3 4 5 6 7 8 9 10 11
version 1.4 task run { command <<< echo 1 >>> output { Int out = read_int(stdout()) } }