2021-08-15 15:07:16 +03:00
|
|
|
$ fq -i -d mp3 . /test.mp3
|
|
|
|
mp3> .headers[0].padding | ., tovalue, type, length?
|
2021-09-16 23:40:03 +03:00
|
|
|
|00 01 02 03 04 05 06 07 08 09 0a 0b 0c 0d 0e 0f|0123456789abcdef|
|
2021-11-05 17:04:26 +03:00
|
|
|
0x20| 00 00 00 00 00 00 00 00 00 00 | .......... |.headers[0].padding: raw bits (all zero)
|
|
|
|
"<0b1010>AAAAAAAAAAAAAA=="
|
2021-11-05 19:24:49 +03:00
|
|
|
"string"
|
2021-11-05 17:04:26 +03:00
|
|
|
10
|
2021-08-15 15:07:16 +03:00
|
|
|
mp3> .headers[0].padding[0] | ., type, length?
|
2021-11-05 17:04:26 +03:00
|
|
|
"\u0000"
|
2021-11-05 19:24:49 +03:00
|
|
|
"string"
|
|
|
|
1
|
2021-08-15 15:07:16 +03:00
|
|
|
mp3> .headers[0].padding[-1000] | ., type, length?
|
2021-11-05 19:24:49 +03:00
|
|
|
""
|
|
|
|
"string"
|
|
|
|
0
|
2021-08-15 15:07:16 +03:00
|
|
|
mp3> .headers[0].padding[1000] | ., type, length?
|
2021-11-05 19:24:49 +03:00
|
|
|
""
|
|
|
|
"string"
|
|
|
|
0
|
2021-08-15 15:07:16 +03:00
|
|
|
mp3> .headers[0].padding[1:3] | ., type, length?
|
2021-11-05 17:04:26 +03:00
|
|
|
"\u0000\u0000"
|
2021-11-05 19:24:49 +03:00
|
|
|
"string"
|
|
|
|
2
|
2021-08-15 15:07:16 +03:00
|
|
|
mp3> .headers[0].padding[0:-1] | ., type, length?
|
2021-11-05 17:04:26 +03:00
|
|
|
"\u0000\u0000\u0000\u0000\u0000\u0000\u0000\u0000\u0000"
|
2021-11-05 19:24:49 +03:00
|
|
|
"string"
|
2021-11-05 17:04:26 +03:00
|
|
|
9
|
2021-08-15 15:07:16 +03:00
|
|
|
mp3> .headers[0].padding[-1000:2000] | ., type, length?
|
2021-11-05 17:04:26 +03:00
|
|
|
"\u0000\u0000\u0000\u0000\u0000\u0000\u0000\u0000\u0000\u0000"
|
2021-11-05 19:24:49 +03:00
|
|
|
"string"
|
2021-11-05 17:04:26 +03:00
|
|
|
10
|
2021-08-15 15:07:16 +03:00
|
|
|
mp3> .headers[0].padding["test"] | ., type, length?
|
2021-11-29 16:50:53 +03:00
|
|
|
error: expected an object with key "test" but got: string
|
2021-08-15 15:07:16 +03:00
|
|
|
mp3> [.headers[0].padding[]] | type, length?
|
2021-11-05 19:24:49 +03:00
|
|
|
error: cannot iterate over: string
|
2021-08-15 15:07:16 +03:00
|
|
|
mp3> .headers[0].padding | keys
|
2021-11-05 19:24:49 +03:00
|
|
|
error: keys cannot be applied to: string
|
2021-08-15 15:07:16 +03:00
|
|
|
mp3> .headers[0].padding | has("a")
|
2021-11-05 19:24:49 +03:00
|
|
|
error: has cannot be applied to: string
|
2021-08-15 15:07:16 +03:00
|
|
|
mp3> .headers[0].padding | has(0)
|
2021-11-05 19:24:49 +03:00
|
|
|
error: has cannot be applied to: string
|
2021-08-15 15:07:16 +03:00
|
|
|
mp3> .headers[0].padding | type
|
2021-11-05 19:24:49 +03:00
|
|
|
"string"
|
2021-08-15 15:07:16 +03:00
|
|
|
mp3> .headers[0].padding | tonumber
|
2021-11-05 17:04:26 +03:00
|
|
|
error: invalid number: "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
|
2021-08-15 15:07:16 +03:00
|
|
|
mp3> .headers[0].padding | tostring
|
2021-11-05 17:04:26 +03:00
|
|
|
"\u0000\u0000\u0000\u0000\u0000\u0000\u0000\u0000\u0000\u0000"
|
2021-08-15 15:07:16 +03:00
|
|
|
mp3> .headers[0].padding + ""
|
2021-11-05 17:04:26 +03:00
|
|
|
"\u0000\u0000\u0000\u0000\u0000\u0000\u0000\u0000\u0000\u0000"
|
2021-08-15 15:07:16 +03:00
|
|
|
mp3> .headers[0].padding + 1
|
2021-11-05 17:04:26 +03:00
|
|
|
error: cannot add: string ("\u0000\u0000\u0000\u0000 ...") and number (1)
|
2021-08-15 15:07:16 +03:00
|
|
|
mp3> .headers[0].padding._start | ., type, length?
|
2020-06-08 03:29:51 +03:00
|
|
|
280
|
|
|
|
"number"
|
|
|
|
280
|
2021-08-15 15:07:16 +03:00
|
|
|
mp3> .headers[0].padding._stop | ., type, length?
|
2020-06-08 03:29:51 +03:00
|
|
|
360
|
|
|
|
"number"
|
|
|
|
360
|
2021-08-15 15:07:16 +03:00
|
|
|
mp3> .headers[0].padding._len | ., type, length?
|
2020-06-08 03:29:51 +03:00
|
|
|
80
|
|
|
|
"number"
|
|
|
|
80
|
2021-08-15 15:07:16 +03:00
|
|
|
mp3> .headers[0].padding._name | ., type, length?
|
2020-06-08 03:29:51 +03:00
|
|
|
"padding"
|
|
|
|
"string"
|
|
|
|
7
|
2021-11-03 19:19:33 +03:00
|
|
|
mp3> .headers[0].padding._sym | ., type, length?
|
2021-11-05 17:04:26 +03:00
|
|
|
null
|
|
|
|
"null"
|
|
|
|
0
|
2021-08-15 15:07:16 +03:00
|
|
|
mp3> .headers[0].padding._description | ., type, length?
|
2021-11-05 17:04:26 +03:00
|
|
|
"all zero"
|
2020-06-08 03:29:51 +03:00
|
|
|
"string"
|
2021-11-05 17:04:26 +03:00
|
|
|
8
|
2021-08-15 15:07:16 +03:00
|
|
|
mp3> .headers[0].padding._path | ., type, length?
|
2020-06-08 03:29:51 +03:00
|
|
|
[
|
|
|
|
"headers",
|
|
|
|
0,
|
|
|
|
"padding"
|
|
|
|
]
|
|
|
|
"array"
|
|
|
|
3
|
2021-08-15 15:07:16 +03:00
|
|
|
mp3> .headers[0].padding._bits | ., type, length?
|
2021-10-05 23:26:05 +03:00
|
|
|
|00 01 02 03 04 05 06 07 08 09 0a 0b 0c 0d 0e 0f|0123456789abcdef|
|
2021-11-05 17:04:26 +03:00
|
|
|
0x20| 00 00 00 00 00 00 00 00 00 00 | .......... |.: raw bits 0x23-0x2c.7 (10)
|
2020-06-08 03:29:51 +03:00
|
|
|
"buffer"
|
|
|
|
80
|
2021-09-27 23:42:34 +03:00
|
|
|
mp3>
|
2021-08-15 15:07:16 +03:00
|
|
|
mp3> .headers[0].padding._bytes | ., type, length?
|
2021-10-05 23:26:05 +03:00
|
|
|
|00 01 02 03 04 05 06 07 08 09 0a 0b 0c 0d 0e 0f|0123456789abcdef|
|
2021-11-05 17:04:26 +03:00
|
|
|
0x20| 00 00 00 00 00 00 00 00 00 00 | .......... |.: raw bits 0x23-0x2c.7 (10)
|
2020-06-08 03:29:51 +03:00
|
|
|
"buffer"
|
|
|
|
10
|
2021-09-27 23:42:34 +03:00
|
|
|
mp3>
|
2021-08-15 15:07:16 +03:00
|
|
|
mp3> .headers[0].padding._error | ., type, length?
|
2020-06-08 03:29:51 +03:00
|
|
|
null
|
|
|
|
"null"
|
|
|
|
0
|
2021-08-15 15:07:16 +03:00
|
|
|
mp3> .headers[0].padding._unknown | ., type, length?
|
2020-06-08 03:29:51 +03:00
|
|
|
false
|
|
|
|
"boolean"
|
2021-08-15 15:07:16 +03:00
|
|
|
mp3> .headers[0].padding.a = 1
|
2021-11-29 16:50:53 +03:00
|
|
|
error: expected an object with key "a" but got: string
|
2021-08-15 15:07:16 +03:00
|
|
|
mp3> .headers[0].padding[0] = 1
|
2021-11-05 19:24:49 +03:00
|
|
|
error: expected an array with index 0 but got: string
|
2021-08-15 15:07:16 +03:00
|
|
|
mp3> .headers[0].padding.a |= empty
|
2021-11-29 16:50:53 +03:00
|
|
|
error: expected an object with key "a" but got: string
|
2021-08-15 15:07:16 +03:00
|
|
|
mp3> .headers[0].padding[0] |= empty
|
2021-11-05 19:24:49 +03:00
|
|
|
error: expected an array with index 0 but got: string
|
2021-08-15 15:07:16 +03:00
|
|
|
mp3> .headers[0].padding | setpath(["a"]; 1)
|
2021-11-05 19:24:49 +03:00
|
|
|
error: expected an object with key "a" but got: string
|
2021-08-15 15:07:16 +03:00
|
|
|
mp3> .headers[0].padding | setpath([0]; 1)
|
2021-11-05 19:24:49 +03:00
|
|
|
error: expected an array with index 0 but got: string
|
2021-08-15 15:07:16 +03:00
|
|
|
mp3> .headers[0].padding | delpaths([["a"]])
|
2021-11-05 19:24:49 +03:00
|
|
|
error: expected an object with key "a" but got: string
|
2021-08-15 15:07:16 +03:00
|
|
|
mp3> .headers[0].padding | delpaths([[0]])
|
2021-11-05 19:24:49 +03:00
|
|
|
error: expected an array with index 0 but got: string
|
2021-08-15 15:07:16 +03:00
|
|
|
mp3> ^D
|