edgedb-cli
edgedb-cli copied to clipboard
Ctrl-C should interrupt output formatting
Printing all the output of a query can be very slow, and ctrl-c doesn't seem able to interrupt it.
(Ctrl-c can interrupt a query that hasn't returned data yet, it seems)