-
Christian Hergert authored
This adds a new command provider for shell commands that can be run in various terminal environments. Still to add are command priorities so that we can sort in the display with some amount of usefulness.
a20708b8
This adds a new command provider for shell commands that can be run in various terminal environments. Still to add are command priorities so that we can sort in the display with some amount of usefulness.