Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
I can explore this topic later if we want it. We could use a Python library like argcomplete to automatically generate this if we want it, or I can write a simple bash completion script.
- Loading branch information