Json: Difference between revisions
Jump to navigation
Jump to search
| Line 97: | Line 97: | ||
<source lang="json"> |
<source lang="json"> |
||
{ "name" : "my_beautiful_project" } |
{ "name" : "my_beautiful_project" } |
||
</source> |
|||
== Tips == |
|||
=== Convert CSV to JSON === |
|||
<source lang="bash"> |
|||
jq -R -r 'split(",") | {name:.[0],age:.[1]}' file.csv |
|||
</source> |
</source> |
||
Revision as of 06:58, 28 June 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" }
Tips
Convert CSV to JSON
jq -R -r 'split(",") | {name:.[0],age:.[1]}' file.csv