8 Mar
2020
8 Mar
'20
11:32 a.m.
After following this discussion, I guess that I have a simplistic way to
determine whether something should be a dash option or a filter. In
general, I'd make a filter if whatever it was doing was applicable to
more than one command, a dash option otherwise.
Jon