3 ms·

I would just cat | grep | awk | sed on this stuff rather than resorting to Py.

• j88439h84 7y ago
  Awk pipelines are exactly the area where Mario is useful for Python programmers. https://github.com/python-mario/mario https://github.com/python-mario/mario