Json: Difference between revisions

From miki
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" }