mario icon indicating copy to clipboard operation
mario copied to clipboard

verified publisher icon python-mario
→

Metadata

Powerful Python pipelines for your shell

Results 43 mario issues
Sort by recently updated
recently updated
newest added

A shorter name for `mario`?

2 comment

Open to suggestions here. I was thinking of `mr`, but it's a little close to `rm`.

python-mario-bot avatar python-mario-bot

help wanted

Get to 100% test coverage

python-mario-bot avatar python-mario-bot

enhancement
testing

Add sphinx-prompt in doc examples

https://sbrunner.github.io/sphinx-prompt/

python-mario-bot avatar python-mario-bot

documentation

A config setting to wrap user commands in an entry-exit pair, like read-json <user commands> write-json

python-mario-bot avatar python-mario-bot

enhancement

Ensure config variables have consistent singular/plural

python-mario-bot avatar python-mario-bot

enhancement

If-then-else command?

python-mario-bot avatar python-mario-bot

enhancement

Add in-place command for editing a file in place.

python-mario-bot avatar python-mario-bot

enhancement

Add type checking for each stage

python-mario-bot avatar python-mario-bot

enhancement

--version should show plugin versions too

python-mario-bot avatar python-mario-bot

enhancement

Define a public Python API

Document the registry structure.

python-mario-bot avatar python-mario-bot

enhancement
documentation

← Metadata

502
Stars
17
Forks
Watchers

Owner

verified publisher icon python-mario

Metadata

Powerful Python pipelines for your shell

Back