diff options
| -rw-r--r--[-rwxr-xr-x] | .bash_profile | 0 | ||||
| -rw-r--r-- | .functions | 4 |
2 files changed, 1 insertions, 3 deletions
diff --git a/.bash_profile b/.bash_profile index 7b15a81..7b15a81 100755..100644 --- a/.bash_profile +++ b/.bash_profile @@ -21,9 +21,7 @@ function httpcompression() { function json() { if [ -p /dev/stdin ]; then # piping, e.g. `echo '{"foo":42}' | json` - while read data; do - python -mjson.tool <<< "$data" | pygmentize -l javascript - done + python -mjson.tool | pygmentize -l javascript else # e.g. `json '{"foo":42}'` python -mjson.tool <<< "$*" | pygmentize -l javascript |