Json: Difference between revisions
Jump to navigation
Jump to search
| Line 5: | Line 5: | ||
;Tools |
;Tools |
||
* [https://ravilabio.info/notes/unix/jq.html jq] — a command-line tool for manipulating JSON. |
* [https://ravilabio.info/notes/unix/jq.html jq] — a command-line tool for manipulating JSON. |
||
:* [https://nigeltao.github.io/blog/2020/jsonptr.html jsonptr] — same, but extra speed and safety. |
|||
* [https://github.com/tidwall/jj jj] — JSON Stream Editor (command line utility). |
* [https://github.com/tidwall/jj jj] — JSON Stream Editor (command line utility). |
||
Revision as of 04:36, 26 May 2023
References
- Tools
- jq — a command-line tool for manipulating JSON.
- jsonptr — same, but extra speed and safety.
- jj — JSON Stream Editor (command line utility).
Specification
object
{}
{ members }
members
pair
pair , members
pair
string : value
array
[]
[ elements ]
elements
value
value , elements
|
value
string
number
object
array
true
false
null
string
""
" chars "
chars
char
char chars
|
char
any-Unicode-character-
except-"-or-\-or-
control-character
\"
\\
\/
\b
\f
\n
\r
\t
\u four-hex-digits
|
number
int
int frac
int exp
int frac exp
int
digit
digit1-9 digits
- digit
- digit1-9 digits
frac
. digits
|
exp
e digits
digits
digit
digit digits
e
e
e+
e-
E
E+
E-
|
JSON query
Example of query:
{ "name" : "my_beautiful_project" }