You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
The Pygments JSON colorization is nice but noticeably slow. I would love to have separate --indent and --colorize options rather than simply --ugly which would be equivalent to http URL | python -m json.tool, which appears to be 3-4 times faster in my testing.
The text was updated successfully, but these errors were encountered:
They are somewhat large - currently around 224KB uncompressed:
cadams@Io:~ $ time -p http --ugly http://www.wdl.org/en/api/v1/region/ > /dev/null
real 0.52
user 0.37
sys 0.07
cadams@Io:~ $ time -p http --pretty http://www.wdl.org/en/api/v1/region/ > /dev/null
real 4.09
user 3.86
sys 0.13
The Pygments JSON colorization is nice but noticeably slow. I would love to have separate
--indent
and--colorize
options rather than simply--ugly
which would be equivalent tohttp URL | python -m json.tool
, which appears to be 3-4 times faster in my testing.The text was updated successfully, but these errors were encountered: