jq takes JSON as input and transforms it according to the filters you supply. Since it’s a command-line tool, you can pipe ...

The identities of those killed or injured have not yet been released, but the university said all the victims were students.