mario
mario copied to clipboard
Published
20 hours ago •
python-mario
python-mario
A config setting to wrap user commands in an entry-exit pair, like read-json <user commands> write-json
