Fri, 04 Mar 2022 16:11:51 +0100 Peter Gervai cmd.sh: set ordering on some longer outputs.
Fri, 04 Mar 2022 11:01:00 +0100 Peter Gervai cmd.sh: I dislike shell escaping, and it doesn't like me either. (fix escaped ')
(0) -2 +2 tip